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/Provers/blast.ML
changeset 12371 80ca9058db95
parent 12346 e7b1956f4eae
child 12403 3e3bd3d449b5 
--- a/src/Provers/blast.ML	Wed Dec 05 03:05:39 2001 +0100
+++ b/src/Provers/blast.ML	Wed Dec 05 03:06:05 2001 +0100
@@ -62,7 +62,6 @@
   val rep_cs	: (* dependent on classical.ML *)
       claset -> {safeIs: thm list, safeEs: thm list, 
 		 hazIs: thm list, hazEs: thm list,
-		 xtraIs: thm list, xtraEs: thm list,
 		 swrappers: (string * wrapper) list, 
 		 uwrappers: (string * wrapper) list,
 		 safe0_netpair: netpair, safep_netpair: netpair,
isabelle