| drwxr-xr-x | [up] | |||
| drwxr-xr-x | Locale_Test | files | ||
| drwxr-xr-x | document | files | ||
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 22310 | Classical.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 2873 | Foundation.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 2003 | If.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 2342 | Intro.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 21529 | Intuitionistic.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 2930 | Miniscope.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 1690 | Nat.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 2109 | Nat_Class.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 1723 | Natural_Numbers.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 2384 | Prolog.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 5125 | Propositional_Cla.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 5946 | Propositional_Int.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 3129 | Quantifiers_Cla.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-06 17:21 +0100 | 3813 | Quantifiers_Int.thy | file | revisions | annotate |