Index of /propositional-classes/Data/Logic/Propositional

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Normal.hs2011-09-26 16:20 3.9K 
[TXT]Formula.hs2011-09-26 16:20 3.1K 
[DIR]Instances/2011-09-26 17:34 -  

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