| drwxr-xr-x | [up] | |||
| drwxr-xr-x | document | files | ||
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | Lexer.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 257950 | Paper.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 110008 | Paper.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 103241 | Paper.thy~ | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 13364 | PaperExt.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | Positions.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | RegLangs.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | Simplifying.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | SizeBound.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | Spec.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 0 | Sulzmann.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 9200 | comment.sty | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 8899 | isabelle.sty | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 24260 | isabellesym.sty | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 1 | isabelletags.sty | file | revisions | annotate |
| -rwxr-xr-x | 2021-11-02 13:57 +0000 | 42332 | llncs.cls | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 252 | pdfsetup.sty | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 29845 | railsetup.sty | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 6630 | root.aux | file | revisions | annotate |
| -rwxr-xr-x | 2021-11-02 13:57 +0000 | 10603 | root.bib | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 77181 | root.log | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 512 | root.out | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 375799 | root.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2021-11-02 13:57 +0000 | 3729 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 163 | session.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-11-02 13:57 +0000 | 11465 | session_graph.pdf | file | revisions | annotate |