drwxr-xr-x document
-rw-r--r-- 1163 Com.thy
-rw-r--r-- 13684 Compiler.thy
-rw-r--r-- 12059 Compiler0.thy
-rw-r--r-- 2131 Denotation.thy
-rw-r--r-- 2362 Examples.thy
-rw-r--r-- 3868 Expr.thy
-rw-r--r-- 3820 Hoare.thy
-rw-r--r-- 9509 Machines.thy
-rw-r--r-- 13012 Natural.thy
-rw-r--r-- 341 ROOT.ML
-rw-r--r-- 30295 Transition.thy
-rw-r--r-- 4616 VC.thy