/src/HOL/Metis_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2010-12-17 17:43 +0100 9133 Abstraction.thy
-rw-r--r-- 2010-12-17 17:43 +0100 8820 BT.thy
-rw-r--r-- 2010-12-17 17:43 +0100 36846 BigO.thy
-rw-r--r-- 2010-12-17 17:43 +0100 4052 HO_Reas.thy
-rw-r--r-- 2010-12-17 17:43 +0100 26563 Message.thy
-rw-r--r-- 2010-12-17 17:43 +0100 309 ROOT.ML
-rw-r--r-- 2010-12-17 17:43 +0100 40401 Tarski.thy
-rw-r--r-- 2010-12-17 17:43 +0100 2615 TransClosure.thy
-rw-r--r-- 2010-12-17 17:43 +0100 17177 set.thy