/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-03-16 18:24 +0100 44665 Correctness.thy
-rw-r--r-- 2009-03-16 18:24 +0100 2962 Criterion.thy
-rw-r--r-- 2009-03-16 18:24 +0100 2536 Examples.thy
-rw-r--r-- 2009-03-16 18:24 +0100 21704 Graphs.thy
-rw-r--r-- 2009-03-16 18:24 +0100 5467 Implementation.thy
-rw-r--r-- 2009-03-16 18:24 +0100 11536 Interpretation.thy
-rw-r--r-- 2009-03-16 18:24 +0100 12358 Kleene_Algebras.thy
-rw-r--r-- 2009-03-16 18:24 +0100 4348 Misc_Tools.thy
-rw-r--r-- 2009-03-16 18:24 +0100 150 ROOT.ML
-rw-r--r-- 2009-03-16 18:24 +0100 2400 Size_Change_Termination.thy
-rw-r--r-- 2009-03-16 18:24 +0100 11469 sct.ML