Index of /harrison/Data/Logic/Tests

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Unif.hs2012-01-21 13:14 2.4K 
[TXT]Tests.hs2012-01-21 13:14 1.3K 
[TXT]Skolem.hs2012-01-21 13:14 4.3K 
[TXT]Resolution.hs2012-01-21 13:14 4.9K 
[TXT]Prop.hs2012-01-21 13:14 19K 
[TXT]Meson.hs2012-01-21 13:14 1.0K 
[TXT]HUnit.hs2012-01-21 13:14 1.8K 
[TXT]FOL.hs2012-01-21 13:14 11K 
[TXT]Equal.hs2012-01-21 13:14 12K 

Apache/2.4.18 (Ubuntu) Server at src.seereason.com Port 80