/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-06-06 09:11 -0700 44665 Correctness.thy
-rw-r--r-- 2009-06-06 09:11 -0700 2962 Criterion.thy
-rw-r--r-- 2009-06-06 09:11 -0700 2536 Examples.thy
-rw-r--r-- 2009-06-06 09:11 -0700 21451 Graphs.thy
-rw-r--r-- 2009-06-06 09:11 -0700 5467 Implementation.thy
-rw-r--r-- 2009-06-06 09:11 -0700 11537 Interpretation.thy
-rw-r--r-- 2009-06-06 09:11 -0700 12355 Kleene_Algebras.thy
-rw-r--r-- 2009-06-06 09:11 -0700 4348 Misc_Tools.thy
-rw-r--r-- 2009-06-06 09:11 -0700 150 ROOT.ML
-rw-r--r-- 2009-06-06 09:11 -0700 2379 Size_Change_Termination.thy
-rw-r--r-- 2009-06-06 09:11 -0700 11552 sct.ML