Name                                             Last modified      Size  Description
 exampleAbbreviationTypes.agda                    02-Mar-2006 00:06  187   
 exampleAllNames.agda                             02-Mar-2006 00:06  264   
 exampleBoolFalse.agda                            02-Mar-2006 00:06  189   
 exampleCaseDistinctionComplexExpression.agda     02-Mar-2006 00:06  777   
 exampleCommutative.agda                          02-Mar-2006 00:06  1.0K  
 exampleDisjointUnionEqual.agda                   02-Mar-2006 00:06  1.4K  
 exampleDoubleString.agda                         02-Mar-2006 00:06  1.2K  
 exampleDoubleString2.agda                        02-Mar-2006 00:06  593   
 exampleElimNat.agda                              02-Mar-2006 00:06  266   
 exampleEquivalenceLambdaNotations.agda           02-Mar-2006 00:06  113   
 exampleEquivalenceLambdaNotations2.agda          02-Mar-2006 00:06  102   
 exampleGoal1.agda                                02-Mar-2006 00:06  106   
 exampleIdentity.agda                             02-Mar-2006 00:06   52   
 exampleLessThanN.agda                            02-Mar-2006 00:06  285   
 exampleLetExpression.agda                        02-Mar-2006 00:06  297   
 exampleLetExpressionSig.agda                     02-Mar-2006 00:06  317   
 exampleList.agda                                 02-Mar-2006 00:06  429   
 exampleMapAppliedToList.agda                     02-Mar-2006 00:06  420   
 exampleMonoLessNoTermination.agda                02-Mar-2006 00:06  1.3K  
 exampleMonoLessNoTerminationDirectRepair.agda    02-Mar-2006 00:06  1.4K  
 exampleMonoLessTerminationEasyRepair.agda        02-Mar-2006 00:06  1.3K  
 exampleMonoLessWithTermination.agda              02-Mar-2006 00:06  947   
 exampleNamesFunction.agda                        02-Mar-2006 00:06  364   
 exampleOpenExpresssion1.agda                     02-Mar-2006 00:06  347   
 exampleOpenExpresssion2.agda                     02-Mar-2006 00:06  309   
 examplePostulate1.agda                           02-Mar-2006 00:06   73   
 examplePostulate2.agda                           02-Mar-2006 00:06  120   
 examplePostulate3.agda                           02-Mar-2006 00:06   99   
 exampleProductElim.agda                          02-Mar-2006 00:06  269   
 exampleProductElim2.agda                         02-Mar-2006 00:06  177   
 exampleProductIntro.agda                         02-Mar-2006 00:06  223   
 exampleReflexivity.agda                          02-Mar-2006 00:06   66   
 exampleSampleDerivation2.agda                    02-Mar-2006 00:06   87   
 exampleShowContext.agda                          02-Mar-2006 00:06   88   
 exampleSigmaType.agda                            02-Mar-2006 00:06  448   
 exampleSimpleDerivation.agda                     02-Mar-2006 00:06  246   
 exampleSimpleDerivation2.agda                    02-Mar-2006 00:06  237   
 exampleSimpleDerivation3.agda                    02-Mar-2006 00:06  239   
 exampleSimpleDerivation4.agda                    02-Mar-2006 00:06  124   
 exampleSimpleEquality.agda                       02-Mar-2006 00:06  181   
 exampleSimpleEquality2.agda                      02-Mar-2006 00:06  142   
 exampleTrafficLight.agda                         02-Mar-2006 00:06  1.0K  
 exampleUniverse.agda                             02-Mar-2006 00:06  186   
 exampleproofproplogic.agda                       02-Mar-2006 00:06  1.4K  
 exampleproofproplogic1.agda                      02-Mar-2006 00:08  161   
 exampleproofproplogic10.agda                     02-Mar-2006 00:06  592   
 exampleproofproplogic11.agda                     02-Mar-2006 00:06  737   
 exampleproofproplogic2.agda                      02-Mar-2006 00:08  127   
 exampleproofproplogic3.agda                      02-Mar-2006 00:06  139   
 exampleproofproplogic4.agda                      02-Mar-2006 00:06  120   
 exampleproofproplogic5.agda                      02-Mar-2006 00:06  181   
 exampleproofproplogic6.agda                      02-Mar-2006 00:06  429   
 exampleproofproplogic7.agda                      02-Mar-2006 00:06   66   
 exampleproofproplogic8.agda                      02-Mar-2006 00:06   80   
 exampleproofproplogic9.agda                      02-Mar-2006 00:06  242   
 firstAgdaExampleNat.agda                         02-Mar-2006 00:06  259   
 letexpressionSubSect2j.agda                      02-Mar-2006 00:06  125   
 maryjohnstudent.agda                             02-Mar-2006 00:08  441   
 simplePropositionalReasoningJohnMaryStudent.agda 02-Mar-2006 00:06  415