| author | wenzelm |
| Tue, 14 Feb 2012 20:43:32 +0100 | |
| changeset 46469 | 0632b8e56e46 |
| parent 43197 | c71657bbdbc0 |
| permissions | -rw-r--r-- |
(* Title: HOL/Metis_Examples/ROOT.ML Author: Lawrence C Paulson, Cambridge University Computer Laboratory Author: Jasmin Blanchette, TU Muenchen Testing Metis and Sledgehammer. *) use_thys ["Abstraction", "Big_O", "Binary_Tree", "Clausification", "Message", "Proxies", "Tarski", "Trans_Closure", "Sets"];