/src/HOL/Metis_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2011-08-11 09:11 -0700 8718 Abstraction.thy
-rw-r--r-- 2011-08-11 09:11 -0700 36858 Big_O.thy
-rw-r--r-- 2011-08-11 09:11 -0700 8919 Binary_Tree.thy
-rw-r--r-- 2011-08-11 09:11 -0700 5090 Clausification.thy
-rw-r--r-- 2011-08-11 09:11 -0700 26553 Message.thy
-rw-r--r-- 2011-08-11 09:11 -0700 12710 Proxies.thy
-rw-r--r-- 2011-08-11 09:11 -0700 339 ROOT.ML
-rw-r--r-- 2011-08-11 09:11 -0700 17295 Sets.thy
-rw-r--r-- 2011-08-11 09:11 -0700 39709 Tarski.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2751 Trans_Closure.thy
-rw-r--r-- 2011-08-11 09:11 -0700 2760 Type_Encodings.thy