Index of /~peterd/agda/SmallProofs

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory   -  
[ ]BoolProofs.agda 10-Jun-2015 17:18 600  
[ ]BoolProofs.agdai 10-Jun-2015 17:18 3.8K 
[ ]NatProofs.agda 07-Jun-2015 14:09 1.2K 
[ ]NatProofs.agdai 10-Jun-2015 17:18 8.6K