/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2008-09-17 21:27 +0200 44665 Correctness.thy
-rw-r--r-- 2008-09-17 21:27 +0200 2962 Criterion.thy
-rw-r--r-- 2008-09-17 21:27 +0200 2536 Examples.thy
-rw-r--r-- 2008-09-17 21:27 +0200 21510 Graphs.thy
-rw-r--r-- 2008-09-17 21:27 +0200 5482 Implementation.thy
-rw-r--r-- 2008-09-17 21:27 +0200 11536 Interpretation.thy
-rw-r--r-- 2008-09-17 21:27 +0200 12388 Kleene_Algebras.thy
-rw-r--r-- 2008-09-17 21:27 +0200 4348 Misc_Tools.thy
-rw-r--r-- 2008-09-17 21:27 +0200 146 ROOT.ML
-rw-r--r-- 2008-09-17 21:27 +0200 2400 Size_Change_Termination.thy
-rw-r--r-- 2008-09-17 21:27 +0200 11722 sct.ML