drwxr-xr-x | [up] | |||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2015-10-13 09:21 +0200 | 8705 | Commutation.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 14716 | Eta.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 3455 | InductTermi.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 6686 | Lambda.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 12021 | LambdaType.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 4638 | ListApplication.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 3115 | ListBeta.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 3121 | ListOrder.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 7073 | NormalForm.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 3184 | ParRed.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 15152 | Standardization.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 11230 | StrongNorm.thy | file | revisions | annotate |
-rw-r--r-- | 2015-10-13 09:21 +0200 | 20937 | WeakNorm.thy | file | revisions | annotate |