/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-01-12 12:09 -0800 44665 Correctness.thy
-rw-r--r-- 2009-01-12 12:09 -0800 2962 Criterion.thy
-rw-r--r-- 2009-01-12 12:09 -0800 2536 Examples.thy
-rw-r--r-- 2009-01-12 12:09 -0800 21694 Graphs.thy
-rw-r--r-- 2009-01-12 12:09 -0800 5467 Implementation.thy
-rw-r--r-- 2009-01-12 12:09 -0800 11536 Interpretation.thy
-rw-r--r-- 2009-01-12 12:09 -0800 12388 Kleene_Algebras.thy
-rw-r--r-- 2009-01-12 12:09 -0800 4348 Misc_Tools.thy
-rw-r--r-- 2009-01-12 12:09 -0800 150 ROOT.ML
-rw-r--r-- 2009-01-12 12:09 -0800 2400 Size_Change_Termination.thy
-rw-r--r-- 2009-01-12 12:09 -0800 11725 sct.ML