/thys/
drwxr-xr-x [up]
drwxr-xr-x Paper
-rw-r--r-- 2016-05-16 12:50 +0100 229 README
-rw-r--r-- 2016-05-16 12:50 +0100 327 ROOT
-rw-r--r-- 2016-05-16 12:50 +0100 58918 Re.thy
-rw-r--r-- 2016-05-16 12:50 +0100 87877 Re1.thy
-rw-r--r-- 2016-05-16 12:50 +0100 24069 ReStar.thy
-rw-r--r-- 2016-05-16 12:50 +0100 107190 ReTest.thy
-rw-r--r-- 2016-05-16 12:50 +0100 6948 Simplifying.thy
-rw-r--r-- 2016-05-16 12:50 +0100 7904 Sulzmann.thy
-rw-r--r-- 2016-05-16 12:50 +0100 144583 notes.pdf
-rw-r--r-- 2016-05-16 12:50 +0100 11038 notes.tex
-rw-r--r-- 2016-05-16 12:50 +0100 94901 paper.pdf