changeset 38027 | 505657ddb047 |
parent 38024 | e4a95eb5530e |
child 38028 | 22dcaec5fa77 |
--- a/src/HOL/Tools/Sledgehammer/metis_clauses.ML Tue Jul 27 18:50:22 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/metis_clauses.ML Tue Jul 27 19:17:15 2010 +0200 @@ -1,5 +1,5 @@ (* Title: HOL/Tools/Sledgehammer/metis_clauses.ML - Author: Jia Meng, Cambridge University Computer Laboratory + Author: Jia Meng, Cambridge University Computer Laboratory and NICTA Author: Jasmin Blanchette, TU Muenchen Storing/printing FOL clauses and arity clauses. Typed equality is