Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Lex/MaxPrefix.thy
changeset 5184 9b8547a9496a
parent 4910 697d17fe1665
child 10338 291ce4c4b50e 
--- a/src/HOL/Lex/MaxPrefix.thy	Fri Jul 24 13:03:20 1998 +0200
+++ b/src/HOL/Lex/MaxPrefix.thy	Fri Jul 24 13:19:38 1998 +0200
@@ -19,7 +19,7 @@
 
 consts
  maxsplit :: "('a list => bool) => 'a list * 'a list => 'a list => 'a splitter"
-primrec maxsplit list
+primrec
 "maxsplit P res ps []     = (if P ps then (ps,[]) else res)"
 "maxsplit P res ps (q#qs) = maxsplit P (if P ps then (ps,q#qs) else res)
                                      (ps@[q]) qs"
isabelle