| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 137285 | Abacus.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-01-07 13:44 +0100 | 2087 | Abacus_Defs.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 16817 | Abacus_Hoare.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 33164 | Abacus_Mopup.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 2090 | Rec_Def.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-01-07 13:44 +0100 | 136167 | Recursive.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 15162 | Turing.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 5370 | Turing_Hoare.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 151167 | UF.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 214975 | UTM.thy | file | revisions | annotate |
| -rwxr-xr-x | 2019-01-07 13:44 +0100 | 42231 | Uncomputable.thy | file | revisions | annotate |