| drwxr-xr-x | [up] | |||
| drwxr-xr-x | dict | files | ||
| drwxr-xr-x | document | files | ||
| drwxr-xr-x | sty | files | ||
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 415 | .hgignore | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 34507 | IWS14-content.tex | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 1871 | IWS14.tex | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 4543 | MPoly_Bootstrap.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 3330 | Motivation.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 614 | ROOT | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 17 | TEST | file | revisions | annotate |
| -rwxr-xr-x | 2020-01-08 11:20 +0100 | 1525 | build | file | revisions | annotate |
| -rwxr-xr-x | 2020-01-08 11:20 +0100 | 1113 | build_thy | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 35453 | references.bib | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 14830 | section-requirements.tex | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 5692 | talk-WS.tex | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 19216 | talk.tex | file | revisions | annotate |
| -rw-r--r-- | 2020-01-08 11:20 +0100 | 2342 | ws-references.bib | file | revisions | annotate |