Index of /~peterd/agda/SmallProofs

[ICO]NameLast modifiedSizeDescription

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