Index of /jon/flip/flip/test

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