/src/HOL/MetisExamples/
drwxr-xr-x [up]
-rw-r--r-- 2008-09-17 21:27 +0200 10932 Abstraction.thy
-rw-r--r-- 2008-09-17 21:27 +0200 7182 BT.thy
-rw-r--r-- 2008-09-17 21:27 +0200 49814 BigO.thy
-rw-r--r-- 2008-09-17 21:27 +0200 27418 Message.thy
-rw-r--r-- 2008-09-17 21:27 +0200 256 ROOT.ML
-rw-r--r-- 2008-09-17 21:27 +0200 39174 Tarski.thy
-rw-r--r-- 2008-09-17 21:27 +0200 2209 TransClosure.thy
-rw-r--r-- 2008-09-17 21:27 +0200 13398 set.thy