author | paulson |
Thu, 21 Jun 2007 13:23:33 +0200 | |
changeset 23449 | dd874e6a3282 |
child 25709 | 43a1f08c5a29 |
permissions | -rw-r--r-- |
(* Title: HOL/MetisExamples/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Testing the metis method *) time_use_thy "set"; time_use_thy "BigO"; time_use_thy "Abstraction"; time_use_thy "BT"; time_use_thy "Message"; time_use_thy "Tarski"; time_use_thy "TransClosure";