Assembly.vo: Assembly.v ../Machine.vo ../Operational_Semantics.vo ../SCAP/AIM.vo ../miniOS/Kernel.vo
Assembly.vi: Assembly.v ../Machine.vo ../Operational_Semantics.vo ../SCAP/AIM.vo ../miniOS/Kernel.vo
cond_signal.vo: cond_signal.v ../Coqlib.vo ../Machine.vo ../Mem_Lemmas.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../Reg.vo ../SCAP/AIM.vo ../SCAP/AIM_Lemmas.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo ../SCAP/Linking_Lemmas2.vo Assembly.vo SyncUtil.vo
cond_signal.vi: cond_signal.v ../Coqlib.vo ../Machine.vo ../Mem_Lemmas.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../Reg.vo ../SCAP/AIM.vo ../SCAP/AIM_Lemmas.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo ../SCAP/Linking_Lemmas2.vo Assembly.vo SyncUtil.vo
cond_wait.vo: cond_wait.v ../Coqlib.vo ../Machine.vo ../Reg.vo ../Mem_Lemmas.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas3.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../SCAP/AIM.vo ../SCAP/AIM_Lemmas.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo Assembly.vo SyncUtil.vo ../miniOS/Kernel.vo ../miniOS/SleepSpec.vo lock_release.vo lock_acquire.vo
cond_wait.vi: cond_wait.v ../Coqlib.vo ../Machine.vo ../Reg.vo ../Mem_Lemmas.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas3.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../SCAP/AIM.vo ../SCAP/AIM_Lemmas.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo Assembly.vo SyncUtil.vo ../miniOS/Kernel.vo ../miniOS/SleepSpec.vo lock_release.vo lock_acquire.vo
lock_acquire.vo: lock_acquire.v ../Coqlib.vo ../Machine.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../Reg.vo ../Mem_Lemmas.vo ../SCAP/AIM.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo ../SCAP/Linking_Lemmas.vo Assembly.vo SyncUtil.vo ../miniOS/Kernel.vo ../miniOS/SleepSpec.vo
lock_acquire.vi: lock_acquire.v ../Coqlib.vo ../Machine.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../Reg.vo ../Mem_Lemmas.vo ../SCAP/AIM.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo ../SCAP/Linking_Lemmas.vo Assembly.vo SyncUtil.vo ../miniOS/Kernel.vo ../miniOS/SleepSpec.vo
lock_release.vo: lock_release.v ../Coqlib.vo ../Machine.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../Reg.vo ../Mem_Lemmas.vo ../SCAP/AIM.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo ../SCAP/Linking_Lemmas.vo Assembly.vo SyncUtil.vo ../Arith_Lemmas.vo
lock_release.vi: lock_release.v ../Coqlib.vo ../Machine.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Assertion_Lemmas4.vo ../Assertion_Lemmas5.vo ../Operational_Semantics.vo ../OpSem_Lemmas.vo ../OpSem_Lemmas2.vo ../Reg.vo ../Mem_Lemmas.vo ../SCAP/AIM.vo ../SCAP/QLib.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo ../SCAP/Linking_Lemmas.vo Assembly.vo SyncUtil.vo ../Arith_Lemmas.vo
SyncUtil.vo: SyncUtil.v ../Coqlib.vo ../Machine.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Operational_Semantics.vo ../SCAP/AIM.vo ../SCAP/QLib.vo ../Assertion_Lemmas4.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo Assembly.vo ../Arith_Lemmas.vo ../miniOS/Kernel.vo
SyncUtil.vi: SyncUtil.v ../Coqlib.vo ../Machine.vo ../Assertion.vo ../Assertion_Lemmas.vo ../Operational_Semantics.vo ../SCAP/AIM.vo ../SCAP/QLib.vo ../Assertion_Lemmas4.vo ../SCAP/SCAP.vo ../SCAP/SCAP_READY.vo ../SCAP/Linking.vo Assembly.vo ../Arith_Lemmas.vo ../miniOS/Kernel.vo
Assembly.html: Assembly.v ../Machine.html ../Operational_Semantics.html ../SCAP/AIM.html ../miniOS/Kernel.html
cond_signal.html: cond_signal.v ../Coqlib.html ../Machine.html ../Mem_Lemmas.html ../Assertion.html ../Assertion_Lemmas.html ../Assertion_Lemmas4.html ../Assertion_Lemmas5.html ../Operational_Semantics.html ../OpSem_Lemmas.html ../OpSem_Lemmas2.html ../Reg.html ../SCAP/AIM.html ../SCAP/AIM_Lemmas.html ../SCAP/QLib.html ../SCAP/SCAP.html ../SCAP/SCAP_READY.html ../SCAP/Linking.html ../SCAP/Linking_Lemmas2.html Assembly.html SyncUtil.html
cond_wait.html: cond_wait.v ../Coqlib.html ../Machine.html ../Reg.html ../Mem_Lemmas.html ../Assertion.html ../Assertion_Lemmas.html ../Assertion_Lemmas3.html ../Assertion_Lemmas4.html ../Assertion_Lemmas5.html ../Operational_Semantics.html ../OpSem_Lemmas.html ../OpSem_Lemmas2.html ../SCAP/AIM.html ../SCAP/AIM_Lemmas.html ../SCAP/QLib.html ../SCAP/SCAP.html ../SCAP/SCAP_READY.html ../SCAP/Linking.html Assembly.html SyncUtil.html ../miniOS/Kernel.html ../miniOS/SleepSpec.html lock_release.html lock_acquire.html
lock_acquire.html: lock_acquire.v ../Coqlib.html ../Machine.html ../Assertion.html ../Assertion_Lemmas.html ../Assertion_Lemmas4.html ../Assertion_Lemmas5.html ../Operational_Semantics.html ../OpSem_Lemmas.html ../OpSem_Lemmas2.html ../Reg.html ../Mem_Lemmas.html ../SCAP/AIM.html ../SCAP/QLib.html ../SCAP/SCAP.html ../SCAP/SCAP_READY.html ../SCAP/Linking.html ../SCAP/Linking_Lemmas.html Assembly.html SyncUtil.html ../miniOS/Kernel.html ../miniOS/SleepSpec.html
lock_release.html: lock_release.v ../Coqlib.html ../Machine.html ../Assertion.html ../Assertion_Lemmas.html ../Assertion_Lemmas4.html ../Assertion_Lemmas5.html ../Operational_Semantics.html ../OpSem_Lemmas.html ../OpSem_Lemmas2.html ../Reg.html ../Mem_Lemmas.html ../SCAP/AIM.html ../SCAP/QLib.html ../SCAP/SCAP.html ../SCAP/SCAP_READY.html ../SCAP/Linking.html ../SCAP/Linking_Lemmas.html Assembly.html SyncUtil.html ../Arith_Lemmas.html
SyncUtil.html: SyncUtil.v ../Coqlib.html ../Machine.html ../Assertion.html ../Assertion_Lemmas.html ../Operational_Semantics.html ../SCAP/AIM.html ../SCAP/QLib.html ../Assertion_Lemmas4.html ../SCAP/SCAP.html ../SCAP/SCAP_READY.html ../SCAP/Linking.html Assembly.html ../Arith_Lemmas.html ../miniOS/Kernel.html
