/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-07-17 13:12 -0400 44690 Correctness.thy
-rw-r--r-- 2009-07-17 13:12 -0400 2962 Criterion.thy
-rw-r--r-- 2009-07-17 13:12 -0400 2536 Examples.thy
-rw-r--r-- 2009-07-17 13:12 -0400 21450 Graphs.thy
-rw-r--r-- 2009-07-17 13:12 -0400 5470 Implementation.thy
-rw-r--r-- 2009-07-17 13:12 -0400 11537 Interpretation.thy
-rw-r--r-- 2009-07-17 13:12 -0400 4348 Misc_Tools.thy
-rw-r--r-- 2009-07-17 13:12 -0400 150 ROOT.ML
-rw-r--r-- 2009-07-17 13:12 -0400 2379 Size_Change_Termination.thy
-rw-r--r-- 2009-07-17 13:12 -0400 11552 sct.ML