/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-04-27 10:11 +0200 44665 Correctness.thy
-rw-r--r-- 2009-04-27 10:11 +0200 2962 Criterion.thy
-rw-r--r-- 2009-04-27 10:11 +0200 2536 Examples.thy
-rw-r--r-- 2009-04-27 10:11 +0200 21461 Graphs.thy
-rw-r--r-- 2009-04-27 10:11 +0200 5467 Implementation.thy
-rw-r--r-- 2009-04-27 10:11 +0200 11537 Interpretation.thy
-rw-r--r-- 2009-04-27 10:11 +0200 12358 Kleene_Algebras.thy
-rw-r--r-- 2009-04-27 10:11 +0200 4348 Misc_Tools.thy
-rw-r--r-- 2009-04-27 10:11 +0200 150 ROOT.ML
-rw-r--r-- 2009-04-27 10:11 +0200 2379 Size_Change_Termination.thy
-rw-r--r-- 2009-04-27 10:11 +0200 11552 sct.ML