Index of /~peterd/agda/MLTT

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]PropositionalLogic.a..>10-Jun-2015 15:20 8.5K 
[   ]PropositionalLogic.agda07-Jun-2015 18:57 1.0K 
[   ]PredicateLogic.agdai 10-Jun-2015 15:20 4.3K 
[   ]PredicateLogic.agda 07-Jun-2015 19:05 546  
[   ]PeanoAxioms.agdai 24-May-2015 16:31 7.0K 
[   ]PeanoAxioms.agda 24-May-2015 16:31 910  
[   ]MLTT.agdai 10-Jun-2015 15:22 28K 
[   ]MLTT.agda 08-Jun-2015 14:30 3.3K 
[   ]IdentityEliminationV..>10-Jun-2015 15:41 8.1K 
[   ]IdentityEliminationV..>10-Jun-2015 15:41 1.7K 
[   ]Identity.agdai 10-Jun-2015 15:21 2.5K 
[   ]Identity.agda 10-Jun-2015 15:21 221