Name                                          Last modified      Size  Description
 Makefile                                      27-Jan-2004 01:35   61   
 examleLessThanN.agda                          28-Apr-2004 23:57  285   
 exampleAllNames.agda                          16-May-2004 00:07  264   
 exampleBoolFalse.agda                         16-May-2004 00:07  189   
 exampleCaseDistinctionComplexExpression.agda  16-May-2004 00:07  777   
 exampleCommutative.agda                       16-May-2004 00:07  1.0K  
 exampleDisjointUnionEqual.agda                16-May-2004 00:07  1.4K  
 exampleDoubleString.agda                      16-May-2004 00:07  1.2K  
 exampleDoubleString2.agda                     16-May-2004 00:07  593   
 exampleElimNat.agda                           16-May-2004 00:07  266   
 exampleEquivalenceLambdaNotations.agda        16-May-2004 00:07  113   
 exampleGoal1.agda                             16-May-2004 00:07  106   
 exampleIdentity.agda                          16-May-2004 00:07   52   
 exampleLessThanN.agda                         16-May-2004 00:07  285   
 exampleLetExpression.agda                     16-May-2004 00:07  297   
 exampleLetExpressionSig.agda                  16-May-2004 00:07  317   
 exampleList.agda                              16-May-2004 00:07  429   
 exampleMapAppliedToList.agda                  16-May-2004 00:07  420   
 exampleMonoLessNoTermination.agda             16-May-2004 00:07  1.3K  
 exampleMonoLessNoTerminationDirectRepair.agda 16-May-2004 00:07  1.4K  
 exampleMonoLessTerminationEasyRepair.agda     16-May-2004 00:07  1.3K  
 exampleMonoLessWithTermination.agda           16-May-2004 00:07  947   
 exampleNamesFunction.agda                     16-May-2004 00:07  364   
 exampleOpenExpresssion1.agda                  16-May-2004 00:07  347   
 exampleOpenExpresssion2.agda                  16-May-2004 00:07  309   
 examplePostulate1.agda                        16-May-2004 00:07   73   
 examplePostulate2.agda                        16-May-2004 00:07  120   
 examplePostulate3.agda                        16-May-2004 00:07   99   
 exampleProductElim.agda                       16-May-2004 00:07  269   
 exampleProductElim2.agda                      16-May-2004 00:07  177   
 exampleProductIntro.agda                      16-May-2004 00:07  223   
 exampleReflexivity.agda                       16-May-2004 00:07   66   
 exampleSampleDerivation2.agda                 16-May-2004 00:07   87   
 exampleShowContext.agda                       16-May-2004 00:07   88   
 exampleSigmaType.agda                         16-May-2004 00:07  448   
 exampleSimpleDerivation.agda                  16-May-2004 00:07  246   
 exampleSimpleDerivation2.agda                 16-May-2004 00:07  237   
 exampleSimpleDerivation3.agda                 16-May-2004 00:07  239   
 exampleSimpleDerivation4.agda                 16-May-2004 00:07  124   
 exampleSimpleEquality.agda                    16-May-2004 00:07  181   
 exampleSimpleEquality2.agda                   16-May-2004 00:07  142   
 exampleTrafficLight.agda                      16-May-2004 00:07  1.0K  
 exampleUniverse.agda                          16-May-2004 00:07  186   
 exampleproofproplogic.agda                    16-May-2004 00:07  1.4K  
 exampleproofproplogic1.agda                   16-May-2004 00:07  159   
 exampleproofproplogic10.agda                  16-May-2004 00:07  592   
 exampleproofproplogic11.agda                  16-May-2004 00:07  737   
 exampleproofproplogic2.agda                   16-May-2004 00:07  125   
 exampleproofproplogic3.agda                   16-May-2004 00:07  139   
 exampleproofproplogic4.agda                   16-May-2004 00:07  120   
 exampleproofproplogic5.agda                   16-May-2004 00:07  181   
 exampleproofproplogic6.agda                   16-May-2004 00:07  429   
 exampleproofproplogic7.agda                   16-May-2004 00:07   66   
 exampleproofproplogic8.agda                   16-May-2004 00:07   80   
 exampleproofproplogic9.agda                   16-May-2004 00:07  242