/src/HOL/SizeChange/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2009-08-28 18:52 +0200 44690 Correctness.thy
-rw-r--r-- 2009-08-28 18:52 +0200 2962 Criterion.thy
-rw-r--r-- 2009-08-28 18:52 +0200 2536 Examples.thy
-rw-r--r-- 2009-08-28 18:52 +0200 21450 Graphs.thy
-rw-r--r-- 2009-08-28 18:52 +0200 5470 Implementation.thy
-rw-r--r-- 2009-08-28 18:52 +0200 11537 Interpretation.thy
-rw-r--r-- 2009-08-28 18:52 +0200 4348 Misc_Tools.thy
-rw-r--r-- 2009-08-28 18:52 +0200 150 ROOT.ML
-rw-r--r-- 2009-08-28 18:52 +0200 2379 Size_Change_Termination.thy
-rw-r--r-- 2009-08-28 18:52 +0200 11554 sct.ML