/src/HOL/MetisExamples/
drwxr-xr-x [up]
-rw-r--r-- 2008-05-07 10:59 +0200 10925 Abstraction.thy
-rw-r--r-- 2008-05-07 10:59 +0200 7193 BT.thy
-rw-r--r-- 2008-05-07 10:59 +0200 49814 BigO.thy
-rw-r--r-- 2008-05-07 10:59 +0200 27418 Message.thy
-rw-r--r-- 2008-05-07 10:59 +0200 256 ROOT.ML
-rw-r--r-- 2008-05-07 10:59 +0200 38251 Tarski.thy
-rw-r--r-- 2008-05-07 10:59 +0200 2209 TransClosure.thy
-rw-r--r-- 2008-05-07 10:59 +0200 13398 set.thy