drwxr-xr-x | [up] | |||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2015-03-04 19:53 +0100 | 8705 | Commutation.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 14716 | Eta.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 3455 | InductTermi.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 6686 | Lambda.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 12097 | LambdaType.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 4638 | ListApplication.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 3115 | ListBeta.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 3121 | ListOrder.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 7073 | NormalForm.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 3184 | ParRed.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 15152 | Standardization.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 11230 | StrongNorm.thy | file | revisions | annotate |
-rw-r--r-- | 2015-03-04 19:53 +0100 | 20951 | WeakNorm.thy | file | revisions | annotate |