Index of /jon/flip/flip/test

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]fol_apply_test.ref 2011-06-22 21:35 11K 
[ ]fol_apply_test.py 2011-06-22 21:35 10K 
[ ]subproof_q_test.ref 2011-06-22 21:35 8.8K 
[ ]subproof_q_test.py 2011-06-22 21:35 7.6K 
[ ]backa_test.ref 2011-06-22 21:35 7.6K 
[ ]simple_q_test.ref 2011-06-22 21:35 7.1K 
[ ]kaye_ch9_test.ref 2011-06-22 21:35 7.0K 
[ ]simple_q_test.py 2011-06-22 21:35 6.6K 
[ ]prop_apply_test.ref 2011-06-22 21:35 5.5K 
[ ]subst_test.py 2011-06-22 21:35 5.5K 
[ ]prop_save_test.ref 2011-06-22 21:35 5.2K 
[ ]type_test.py 2011-06-22 21:35 4.4K 
[ ]hr_ch2_test.ref 2011-06-22 21:35 4.1K 
[ ]prop_raa_scope_test.ref2011-06-22 21:35 3.9K 
[ ]prop_apply_test.py 2011-06-22 21:35 3.4K 
[ ]back_test.ref 2011-06-22 21:35 3.4K 
[ ]equal_equiv_test.ref 2011-06-22 21:35 3.4K 
[ ]prop_test.ref 2011-06-22 21:35 3.3K 
[ ]prop_raa_scope_test.py 2011-06-22 21:35 3.3K 
[ ]equal_equiv_test.py 2011-06-22 21:35 3.3K 
[ ]kaye_ch9_test.py 2011-06-22 21:35 3.1K 
[ ]hr_ch2_test.py 2011-06-22 21:35 2.9K 
[ ]subst_test.ref 2011-06-22 21:35 2.7K 
[ ]prop_derived_test.ref 2011-06-22 21:35 2.7K 
[ ]equal_sub_test.ref 2011-06-22 21:35 2.6K 
[ ]prop_test.py 2011-06-22 21:35 2.6K 
[ ]raa_test.ref 2011-06-22 21:35 2.6K 
[ ]and_or_lr_reversed_t..>2011-06-22 21:35 2.4K 
[ ]type_test.ref 2011-06-22 21:35 2.4K 
[ ]fol_save_test.ref 2011-06-22 21:35 2.4K 
[ ]and_test.ref 2011-06-22 21:35 2.3K 
[ ]count_test.py 2011-06-22 21:35 2.3K 
[ ]equal_sub_test.py 2011-06-22 21:35 2.3K 
[ ]and_wrong_indices_te..>2011-06-22 21:35 2.2K 
[ ]prop_ore_scope_test.ref2011-06-22 21:35 2.2K 
[ ]prop_constructive_te..>2011-06-22 21:35 2.1K 
[ ]or_test.ref 2011-06-22 21:35 2.1K 
[ ]prop_derived_test.py 2011-06-22 21:35 2.0K 
[ ]prop_raa_test.ref 2011-06-22 21:35 2.0K 
[ ]tree_test.py 2011-06-22 21:35 1.9K 
[ ]and_test.py 2011-06-22 21:35 1.9K 
[ ]trans_test.ref 2011-06-22 21:35 1.8K 
[ ]and_wrong_indices_te..>2011-06-22 21:35 1.8K 
[ ]prop_contra_test.ref 2011-06-22 21:35 1.8K 
[ ]raa_test.py 2011-06-22 21:35 1.8K 
[ ]contra_test.ref 2011-06-22 21:35 1.8K 
[ ]or_test.py 2011-06-22 21:35 1.7K 
[ ]trans_test.py 2011-06-22 21:35 1.7K 
[ ]tree_test.ref 2011-06-22 21:35 1.7K 
[ ]free_test.py 2011-06-22 21:35 1.6K 
[ ]prop_contra_test.py 2011-06-22 21:35 1.6K 
[ ]prop_constructive_te..>2011-06-22 21:35 1.6K 
[ ]raa_scope_test.ref 2011-06-22 21:35 1.6K 
[ ]contra_test.py 2011-06-22 21:35 1.6K 
[ ]raa_scope_test.py 2011-06-22 21:35 1.5K 
[ ]and_or_lr_reversed_t..>2011-06-22 21:35 1.5K 
[ ]prop_ore_scope_test.py 2011-06-22 21:35 1.4K 
[ ]mismatch_test.py 2011-06-22 21:35 1.4K 
[ ]prop_raa_test.py 2011-06-22 21:35 1.3K 
[ ]ex916ref.py 2011-06-22 21:35 1.3K 
[ ]poset_test.ref 2011-06-22 21:35 1.3K 
[ ]back_test.py 2011-06-22 21:35 1.2K 
[ ]count_test.ref 2011-06-22 21:35 1.2K 
[ ]fol_save_test.py 2011-06-22 21:35 1.1K 
[ ]poset_test.py 2011-06-22 21:35 1.0K 
[ ]prop_save_test.py 2011-06-22 21:35 1.0K 
[ ]free_test.ref 2011-06-22 21:35 1.0K 
[ ]flot_test.py 2011-06-22 21:35 1.0K 
[ ]backa_test.py 2011-06-22 21:35 1.0K 
[ ]prop_f_or_scope_test..>2011-06-22 21:35 889  
[ ]irref_test.ref 2011-06-22 21:35 885  
[ ]irref_test.py 2011-06-22 21:35 842  
[ ]not_test.ref 2011-06-22 21:35 747  
[ ]not_test.py 2011-06-22 21:35 668  
[ ]mismatch_test.ref 2011-06-22 21:35 664  
[ ]ex912_check.py 2011-07-01 20:31 616  
[ ]tree_check_test.py 2011-06-22 21:35 615  
[ ]command_wrapper.py 2011-06-22 21:35 597  
[ ]ex111.py 2011-07-05 08:18 591  
[ ]prop_f_or_scope_test.py2011-06-22 21:35 585  
[ ]ex912.py 2011-07-04 20:28 558  
[ ]prop_all_test 2011-07-05 08:19 514  
[ ]prop_all_test.bat 2011-07-05 08:19 500  
[ ]flot_test.ref 2011-06-22 21:35 442  
[ ]fol_all_test 2011-07-05 08:17 436  
[ ]fol_all_test.bat 2011-07-05 08:19 423  
[ ]ex69.py 2011-07-05 08:18 422  
[ ]ex914.py 2011-07-04 20:28 399  
[ ]ex69ref.py 2011-06-22 21:35 389  
[ ]tree_check_test.ref 2011-06-22 21:35 343  
[ ]ex914ref.py 2011-06-22 21:35 321  
[ ]top_test.py 2011-06-22 21:35 227  
[ ]top_test.ref 2011-06-22 21:35 213  
[ ]poset_all_test 2011-06-27 21:51 164  
[ ]check_ex912.py 2011-07-01 20:24 163  
[ ]poset_all_test.bat 2011-06-22 21:35 159  
[ ]plogdiff.bat 2011-06-22 21:35 137  
[ ]plogdiff 2011-06-22 21:35 96  
[ ]all_test 2011-06-22 21:35 84  
[ ]all_test.bat 2011-06-22 21:35 80  
[ ]tree_all_test 2011-06-22 21:35 58  
[ ]tree_all_test.bat 2011-06-22 21:35 56  
[ ]cpath 2011-06-28 21:25 39  
[ ]cpath.bat 2011-06-28 21:33 37