/
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-- 2018-02-23 21:10 +0000 50 .hgignore
-rw-r--r-- 2018-02-23 21:10 +0000 64745 Correctness.thy
-rw-r--r-- 2018-02-23 21:10 +0000 1925 Graphs.thy
-rw-r--r-- 2018-02-23 21:10 +0000 38362 Implementation.thy
-rw-r--r-- 2018-02-23 21:10 +0000 4295 Max.thy
-rw-r--r-- 2018-02-23 21:10 +0000 161636 PIPBasics.thy
-rw-r--r-- 2018-02-23 21:10 +0000 28577 PIPDefs.thy
-rw-r--r-- 2018-02-23 21:10 +0000 1349 Precedence_ord.thy
-rw-r--r-- 2018-02-23 21:10 +0000 711 README
-rw-r--r-- 2018-02-23 21:10 +0000 1144 ROOT
-rw-r--r-- 2018-02-23 21:10 +0000 63025 RTree.thy
-rw-r--r-- 2018-02-23 21:10 +0000 42613 answers.pdf
-rw-r--r-- 2018-02-23 21:10 +0000 11769 answers.tex
-rw-r--r-- 2018-02-23 21:10 +0000 282504 journal.pdf