drwxr-xr-x | [up] | |||
-rwxr-xr-x | 2013-05-24 22:18 +0100 | 22186 | Recs.thy | file | revisions | annotate |
-rwxr-xr-x | 2013-05-24 22:18 +0100 | 2770 | Turing2.thy | file | revisions | annotate |
-rwxr-xr-x | 2013-05-24 22:18 +0100 | 21147 | UF_Rec.thy | file | revisions | annotate |