/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-03-03 14:07 +0100 44665 Correctness.thy
-rw-r--r-- 2009-03-03 14:07 +0100 2962 Criterion.thy
-rw-r--r-- 2009-03-03 14:07 +0100 2536 Examples.thy
-rw-r--r-- 2009-03-03 14:07 +0100 21694 Graphs.thy
-rw-r--r-- 2009-03-03 14:07 +0100 5467 Implementation.thy
-rw-r--r-- 2009-03-03 14:07 +0100 11536 Interpretation.thy
-rw-r--r-- 2009-03-03 14:07 +0100 12381 Kleene_Algebras.thy
-rw-r--r-- 2009-03-03 14:07 +0100 4348 Misc_Tools.thy
-rw-r--r-- 2009-03-03 14:07 +0100 150 ROOT.ML
-rw-r--r-- 2009-03-03 14:07 +0100 2400 Size_Change_Termination.thy
-rw-r--r-- 2009-03-03 14:07 +0100 11725 sct.ML