drwxr-xr-x | [up] | |||
drwxr-xr-x | dict | files | ||
drwxr-xr-x | document | files | ||
drwxr-xr-x | sty | files | ||
-rw-r--r-- | 2014-07-07 14:48 +0200 | 415 | .hgignore | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 34507 | IWS14-content.tex | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 1871 | IWS14.tex | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 4543 | MPoly_Bootstrap.thy | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 3330 | Motivation.thy | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 520 | ROOT | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 17 | TEST | file | revisions | annotate |
-rwxr-xr-x | 2014-07-07 14:48 +0200 | 1334 | build | file | revisions | annotate |
-rwxr-xr-x | 2014-07-07 14:48 +0200 | 56 | build_thy | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 35453 | references.bib | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 14830 | section-requirements.tex | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 4940 | talk-WS.tex | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 19225 | talk.tex | file | revisions | annotate |
-rw-r--r-- | 2014-07-07 14:48 +0200 | 2342 | ws-references.bib | file | revisions | annotate |