Some cleanup
[funcCF.git] / CFGraph /
drwxr-xr-x   ..
-rw-r--r-- 6554 AbsCF.thy
-rw-r--r-- 18323 AbsCFComp.thy
-rw-r--r-- 25614 AbsCFCorrect.thy
-rw-r--r-- 277 Adhoc_Overloading.thy
-rw-r--r-- 1270 CPSScheme.thy
-rw-r--r-- 15643 CPSUtils.thy
-rw-r--r-- 6591 Computability.thy
-rw-r--r-- 4622 Eval.thy
-rw-r--r-- 16461 ExCF.thy
-rw-r--r-- 10682 ExCFSV.thy
-rw-r--r-- 11010 Finite_Inductive_Set.thy
-rw-r--r-- 3518 FixTransform.thy
-rw-r--r-- 3406 FunAbsCF.thy
-rw-r--r-- 3495 FunEval.thy
-rw-r--r-- 4470 FunExCF.thy
-rw-r--r-- 6212 HOLCFList.thy
-rw-r--r-- 4719 HOLCFOption.thy
-rw-r--r-- 6140 HOLCFUtils.thy
-rw-r--r-- 498 HOLCF_Experiment.thy
-rw-r--r-- 902 IsaMakefile
-rw-r--r-- 7087 List_Cpo.thy
-rw-r--r-- 293 ROOT.ML
-rw-r--r-- 3794 SetMap.thy
-rw-r--r-- 1737 Utils.thy
-rw-r--r-- 4387 adhoc_overloading.ML
drwxr-xr-x - document