| changeset 42814 | 5af15f1e2ef6 |
| parent 34974 | 18b41bba42b5 |
| child 48891 | c0eafbd55de3 |
--- a/src/HOL/Prolog/HOHH.thy Sun May 15 17:06:35 2011 +0200 +++ b/src/HOL/Prolog/HOHH.thy Sun May 15 17:45:53 2011 +0200 @@ -11,7 +11,7 @@ method_setup ptac = {* Attrib.thms >> (fn thms => fn ctxt => SIMPLE_METHOD' (Prolog.ptac ctxt thms)) *} - "Basic Lambda Prolog interpreter" + "basic Lambda Prolog interpreter" method_setup prolog = {* Attrib.thms >> (fn thms => fn ctxt => SIMPLE_METHOD (Prolog.prolog_tac ctxt thms)) *}