/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2008-03-28 19:43 +0100 44630 Correctness.thy
-rw-r--r-- 2008-03-28 19:43 +0100 2963 Criterion.thy
-rw-r--r-- 2008-03-28 19:43 +0100 2445 Examples.thy
-rw-r--r-- 2008-03-28 19:43 +0100 21501 Graphs.thy
-rw-r--r-- 2008-03-28 19:43 +0100 5560 Implementation.thy
-rw-r--r-- 2008-03-28 19:43 +0100 11530 Interpretation.thy
-rw-r--r-- 2008-03-28 19:43 +0100 12539 Kleene_Algebras.thy
-rw-r--r-- 2008-03-28 19:43 +0100 4348 Misc_Tools.thy
-rw-r--r-- 2008-03-28 19:43 +0100 146 ROOT.ML
-rw-r--r-- 2008-03-28 19:43 +0100 2400 Size_Change_Termination.thy
-rw-r--r-- 2008-03-28 19:43 +0100 11797 sct.ML