Index of /jon/flip/flip/test

[ICO]NameLast modifiedSizeDescription

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