/
drwxr-xr-x [up]
drwxr-xr-x Attic
drwxr-xr-x Journal
drwxr-xr-x Literature
drwxr-xr-x Paper
drwxr-xr-x Slides
-rw-r--r-- 2014-05-15 16:02 +0100 73447 CpsG.thy
-rw-r--r-- 2014-05-15 16:02 +0100 36773 ExtGG.thy
-rwxr-xr-x 2014-05-15 16:02 +0100 1700 IsaMakefile
-rw-r--r-- 2014-05-15 16:02 +0100 25914 Moment.thy
-rw-r--r-- 2014-05-15 16:02 +0100 1056 Precedence_ord.thy
-rw-r--r-- 2014-05-15 16:02 +0100 108841 PrioG.thy
-rw-r--r-- 2014-05-15 16:02 +0100 20184 PrioGDef.thy
-rw-r--r-- 2014-05-15 16:02 +0100 552 README
-rw-r--r-- 2014-05-15 16:02 +0100 1080 ROOT
-rwxr-xr-x 2014-05-15 16:02 +0100 34 ROOT.ML
-rw-r--r-- 2014-05-15 16:02 +0100 233869 journal.pdf