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