DeepSpec
diff --git a/‎lf-current/lf.tgz
8.68 KB b/‎lf-current/lf.tgz
8.68 KB
diff --git a/‎plf-current/Hoare2Test.v
Lines changed: 1 addition & 1 deletion b/‎plf-current/Hoare2Test.v
Lines changed: 1 addition & 1 deletion
diff --git a/‎plf-current/HoareAsLogicTest.v
Lines changed: 1 addition & 1 deletion b/‎plf-current/HoareAsLogicTest.v
Lines changed: 1 addition & 1 deletion
diff --git a/‎plf-current/SmallstepTest.v
Lines changed: 1 addition & 1 deletion b/‎plf-current/SmallstepTest.v
Lines changed: 1 addition & 1 deletion
diff --git a/‎plf-current/StlcPropTest.v
Lines changed: 1 addition & 1 deletion b/‎plf-current/StlcPropTest.v
Lines changed: 1 addition & 1 deletion
diff --git a/‎plf-current/StlcTest.v
Lines changed: 1 addition & 1 deletion b/‎plf-current/StlcTest.v
Lines changed: 1 addition & 1 deletion
diff --git a/‎plf-current/TypesTest.v
Lines changed: 1 addition & 1 deletion b/‎plf-current/TypesTest.v
Lines changed: 1 addition & 1 deletion
diff --git a/‎plf-current/plf.tgz
2.83 KB b/‎plf-current/plf.tgz
2.83 KB
diff --git a/‎qc-current/qc.tgz
3.41 KB b/‎qc-current/qc.tgz
3.41 KB
diff --git a/‎slf-current/slf.tgz
2.64 KB b/‎slf-current/slf.tgz
2.64 KB
@@ -132,4 +132,4 @@ idtac "---------- factorial_correct ---------".
 Print Assumptions factorial_correct.
 Abort.
 
-(* 2023-12-24 12:55 *)
+(* 2023-12-24 12:54 *)
@@ -160,4 +160,4 @@ idtac "".
 idtac "********** Advanced **********".
 Abort.
 
-(* 2023-12-24 12:55 *)
+(* 2023-12-24 12:54 *)
@@ -252,4 +252,4 @@ idtac "---------- compiler_is_correct ---------".
 Print Assumptions compiler_is_correct.
 Abort.
 
-(* 2023-12-24 12:55 *)
+(* 2023-12-24 12:54 *)
@@ -240,4 +240,4 @@ idtac "---------- STLCProp.substitution_preserves_typing_from_typing_ind -------
 Print Assumptions STLCProp.substitution_preserves_typing_from_typing_ind.
 Abort.
 
-(* 2023-12-24 12:55 *)
+(* 2023-12-24 12:54 *)
@@ -123,4 +123,4 @@ idtac "".
 idtac "********** Advanced **********".
 Abort.
 
-(* 2023-12-24 12:55 *)
+(* 2023-12-24 12:54 *)
@@ -218,4 +218,4 @@ idtac "---------- prog_pres_bigstep ---------".
 idtac "MANUAL".
 Abort.
 
-(* 2023-12-24 12:55 *)
+(* 2023-12-24 12:54 *)