changeset 3333 | 0bbf06e86c06 |
parent 3302 | 404fe31fd8d2 |
child 3391 | 5e45dd3b64e9 |
--- a/TFL/tfl.sig Mon May 26 12:29:10 1997 +0200 +++ b/TFL/tfl.sig Mon May 26 12:29:55 1997 +0200 @@ -20,7 +20,7 @@ -> {functional:term, pats: pattern list} - val wfrec_definition0 : theory -> term -> term -> thm * theory + val wfrec_definition0 : theory -> string -> term -> term -> thm * theory val post_definition : theory * (thm * pattern list) -> {theory : theory,