Index of /jon/flip/flip/test

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] cpath.bat 28-Jun-2011 21:33 37 [   ] cpath 28-Jun-2011 21:25 39 [   ] tree_all_test.bat 22-Jun-2011 21:35 56 [   ] tree_all_test 22-Jun-2011 21:35 58 [   ] all_test.bat 22-Jun-2011 21:35 80 [   ] all_test 22-Jun-2011 21:35 84 [   ] plogdiff 22-Jun-2011 21:35 96 [   ] plogdiff.bat 22-Jun-2011 21:35 137 [   ] poset_all_test.bat 22-Jun-2011 21:35 159 [   ] check_ex912.py 01-Jul-2011 20:24 163 [   ] poset_all_test 27-Jun-2011 21:51 164 [   ] top_test.ref 22-Jun-2011 21:35 213 [   ] top_test.py 22-Jun-2011 21:35 227 [   ] ex914ref.py 22-Jun-2011 21:35 321 [   ] tree_check_test.ref 22-Jun-2011 21:35 343 [   ] ex69ref.py 22-Jun-2011 21:35 389 [   ] ex914.py 04-Jul-2011 20:28 399 [   ] ex69.py 05-Jul-2011 08:18 422 [   ] fol_all_test.bat 05-Jul-2011 08:19 423 [   ] fol_all_test 05-Jul-2011 08:17 436 [   ] flot_test.ref 22-Jun-2011 21:35 442 [   ] prop_all_test.bat 05-Jul-2011 08:19 500 [   ] prop_all_test 05-Jul-2011 08:19 514 [   ] ex912.py 04-Jul-2011 20:28 558 [   ] prop_f_or_scope_test.py 22-Jun-2011 21:35 585 [   ] ex111.py 05-Jul-2011 08:18 591 [   ] command_wrapper.py 22-Jun-2011 21:35 597 [   ] tree_check_test.py 22-Jun-2011 21:35 615 [   ] ex912_check.py 01-Jul-2011 20:31 616 [   ] mismatch_test.ref 22-Jun-2011 21:35 664 [   ] not_test.py 22-Jun-2011 21:35 668 [   ] not_test.ref 22-Jun-2011 21:35 747 [   ] irref_test.py 22-Jun-2011 21:35 842 [   ] irref_test.ref 22-Jun-2011 21:35 885 [   ] prop_f_or_scope_test..> 22-Jun-2011 21:35 889 [   ] backa_test.py 22-Jun-2011 21:35 1.0K [   ] flot_test.py 22-Jun-2011 21:35 1.0K [   ] free_test.ref 22-Jun-2011 21:35 1.0K [   ] prop_save_test.py 22-Jun-2011 21:35 1.0K [   ] poset_test.py 22-Jun-2011 21:35 1.0K [   ] fol_save_test.py 22-Jun-2011 21:35 1.1K [   ] count_test.ref 22-Jun-2011 21:35 1.2K [   ] back_test.py 22-Jun-2011 21:35 1.2K [   ] poset_test.ref 22-Jun-2011 21:35 1.3K [   ] ex916ref.py 22-Jun-2011 21:35 1.3K [   ] prop_raa_test.py 22-Jun-2011 21:35 1.3K [   ] mismatch_test.py 22-Jun-2011 21:35 1.4K [   ] prop_ore_scope_test.py 22-Jun-2011 21:35 1.4K [   ] and_or_lr_reversed_t..> 22-Jun-2011 21:35 1.5K [   ] raa_scope_test.py 22-Jun-2011 21:35 1.5K [   ] contra_test.py 22-Jun-2011 21:35 1.6K [   ] raa_scope_test.ref 22-Jun-2011 21:35 1.6K [   ] prop_constructive_te..> 22-Jun-2011 21:35 1.6K [   ] prop_contra_test.py 22-Jun-2011 21:35 1.6K [   ] free_test.py 22-Jun-2011 21:35 1.6K [   ] tree_test.ref 22-Jun-2011 21:35 1.7K [   ] trans_test.py 22-Jun-2011 21:35 1.7K [   ] or_test.py 22-Jun-2011 21:35 1.7K [   ] contra_test.ref 22-Jun-2011 21:35 1.8K [   ] raa_test.py 22-Jun-2011 21:35 1.8K [   ] prop_contra_test.ref 22-Jun-2011 21:35 1.8K [   ] and_wrong_indices_te..> 22-Jun-2011 21:35 1.8K [   ] trans_test.ref 22-Jun-2011 21:35 1.8K [   ] and_test.py 22-Jun-2011 21:35 1.9K [   ] tree_test.py 22-Jun-2011 21:35 1.9K [   ] prop_raa_test.ref 22-Jun-2011 21:35 2.0K [   ] prop_derived_test.py 22-Jun-2011 21:35 2.0K [   ] or_test.ref 22-Jun-2011 21:35 2.1K [   ] prop_constructive_te..> 22-Jun-2011 21:35 2.1K [   ] prop_ore_scope_test.ref 22-Jun-2011 21:35 2.2K [   ] and_wrong_indices_te..> 22-Jun-2011 21:35 2.2K [   ] equal_sub_test.py 22-Jun-2011 21:35 2.3K [   ] count_test.py 22-Jun-2011 21:35 2.3K [   ] and_test.ref 22-Jun-2011 21:35 2.3K [   ] fol_save_test.ref 22-Jun-2011 21:35 2.4K [   ] type_test.ref 22-Jun-2011 21:35 2.4K [   ] and_or_lr_reversed_t..> 22-Jun-2011 21:35 2.4K [   ] raa_test.ref 22-Jun-2011 21:35 2.6K [   ] prop_test.py 22-Jun-2011 21:35 2.6K [   ] equal_sub_test.ref 22-Jun-2011 21:35 2.6K [   ] prop_derived_test.ref 22-Jun-2011 21:35 2.7K [   ] subst_test.ref 22-Jun-2011 21:35 2.7K [   ] hr_ch2_test.py 22-Jun-2011 21:35 2.9K [   ] kaye_ch9_test.py 22-Jun-2011 21:35 3.1K [   ] equal_equiv_test.py 22-Jun-2011 21:35 3.3K [   ] prop_raa_scope_test.py 22-Jun-2011 21:35 3.3K [   ] prop_test.ref 22-Jun-2011 21:35 3.3K [   ] equal_equiv_test.ref 22-Jun-2011 21:35 3.4K [   ] back_test.ref 22-Jun-2011 21:35 3.4K [   ] prop_apply_test.py 22-Jun-2011 21:35 3.4K [   ] prop_raa_scope_test.ref 22-Jun-2011 21:35 3.9K [   ] hr_ch2_test.ref 22-Jun-2011 21:35 4.1K [   ] type_test.py 22-Jun-2011 21:35 4.4K [   ] prop_save_test.ref 22-Jun-2011 21:35 5.2K [   ] subst_test.py 22-Jun-2011 21:35 5.5K [   ] prop_apply_test.ref 22-Jun-2011 21:35 5.5K [   ] simple_q_test.py 22-Jun-2011 21:35 6.6K [   ] kaye_ch9_test.ref 22-Jun-2011 21:35 7.0K [   ] simple_q_test.ref 22-Jun-2011 21:35 7.1K [   ] backa_test.ref 22-Jun-2011 21:35 7.6K [   ] subproof_q_test.py 22-Jun-2011 21:35 7.6K [   ] subproof_q_test.ref 22-Jun-2011 21:35 8.8K [   ] fol_apply_test.py 22-Jun-2011 21:35 10K [   ] fol_apply_test.ref 22-Jun-2011 21:35 11K
Apache/2.2.32 (Unix) mod_ssl/2.2.32 OpenSSL/1.0.1e-fips mod_pubcookie/3.3.4a mod_uwa/3.2.1 Phusion_Passenger/3.0.11 Server at staff.washington.edu Port 80