/
drwxr-xr-x [up]
drwxr-xr-x Attic
drwxr-xr-x BooleanGrammar
drwxr-xr-x Journal
drwxr-xr-x Literature
drwxr-xr-x PEGParsing
drwxr-xr-x Paper
drwxr-xr-x Parsing-Literature
drwxr-xr-x Slides
drwxr-xr-x pres
drwxr-xr-x tphols-2011
-rw-r--r-- 2013-09-12 10:34 +0200 3501 CHUNHAN
-rw-r--r-- 2013-09-12 10:34 +0200 9132 Closures.thy
-rw-r--r-- 2013-09-12 10:34 +0200 8538 Closures2.thy
-rw-r--r-- 2013-09-12 10:34 +0200 10935 Derivatives.thy
-rw-r--r-- 2013-09-12 10:34 +0200 1257 Folds.thy
-rw-r--r-- 2013-09-12 10:34 +0200 8920 Higman.thy
-rw-r--r-- 2013-09-12 10:34 +0200 18432 Higman2.thy
-rw-r--r-- 2013-09-12 10:34 +0200 3011 IsaMakefile
-rw-r--r-- 2013-09-12 10:34 +0200 12423 List_Prefix.thy
-rw-r--r-- 2013-09-12 10:34 +0200 5436 Matcher.thy
-rw-r--r-- 2013-09-12 10:34 +0200 1054 Mirkin.thy
-rw-r--r-- 2013-09-12 10:34 +0200 1649 Myhill.thy
-rw-r--r-- 2013-09-12 10:34 +0200 26030 Myhill_1.thy
-rw-r--r-- 2013-09-12 10:34 +0200 17281 Myhill_2.thy
-rw-r--r-- 2013-09-12 10:34 +0200 423 ROOT
-rw-r--r-- 2013-09-12 10:34 +0200 1164 Regular_Exp.thy
-rw-r--r-- 2013-09-12 10:34 +0200 13301 Regular_Set.thy
-rw-r--r-- 2013-09-12 10:34 +0200 18306 Seq.thy
-rw-r--r-- 2013-09-12 10:34 +0200 39993 WQO_Finite_Lists.thy
-rw-r--r-- 2013-09-12 10:34 +0200 1026183 christian-itp-slides.pdf
-rw-r--r-- 2013-09-12 10:34 +0200 3570588 christian_slides.pdf
-rw-r--r-- 2013-09-12 10:34 +0200 1759645 chunhan_slides.pdf
-rw-r--r-- 2013-09-12 10:34 +0200 39395 csupp.pdf
-rwxr-xr-x 2013-09-12 10:34 +0200 6637 csupp.tex
-rw-r--r-- 2013-09-12 10:34 +0200 165303 journal.pdf