Index of /project/akt/work/stuart/ALC/Code_Latest

Icon  Name                    Last modified      Size  Description
[   ] database.pl 2003-12-17 21:14 1.0K [   ] eval.pl 2003-12-17 21:14 1.8K [   ] hAndS.pl 2003-12-17 21:14 113 [   ] main.pl 2003-12-17 21:14 8.3K [   ] modal.pl 2003-12-17 21:14 9.8K [   ] modal_naive.pl 2003-12-17 21:14 7.7K [   ] modal_rewrite.pl 2003-12-17 21:14 3.0K [   ] modal_var_prop.pl 2003-12-17 21:14 8.4K [   ] parse.pl 2003-12-17 21:14 4.1K [   ] parse_tancs.pl 2003-12-17 21:14 2.9K [   ] read.pl 2003-12-17 21:14 1.5K [   ] saved.pl 2003-12-17 21:14 3.0K [   ] tancs.pl 2003-12-17 21:14 170 [   ] testref.pl 2003-12-17 21:14 13K [   ] tests.pl 2003-12-17 21:14 3.3K