drwxr-xr-x document
-rw-r--r-- 1163 Com.thy
-rw-r--r-- 13696 Compiler.thy
-rw-r--r-- 12295 Compiler0.thy
-rw-r--r-- 2203 Denotation.thy
-rw-r--r-- 2386 Examples.thy
-rw-r--r-- 3854 Expr.thy
-rw-r--r-- 3879 Hoare.thy
-rw-r--r-- 9501 Machines.thy
-rw-r--r-- 13517 Natural.thy
-rw-r--r-- 341 ROOT.ML
-rw-r--r-- 31517 Transition.thy
-rw-r--r-- 4606 VC.thy