Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/NJ happy;
authorwenzelm
Thu, 30 Jul 1998 19:18:50 +0200
changeset 5220 07f80f447b27
parent 5219 924359415f09
child 5221 7e9f9ab61798
made SML/NJ happy;
src/FOL/simpdata.ML file | annotate | diff | comparison | revisions
src/HOL/simpdata.ML file | annotate | diff | comparison | revisions 
--- a/src/FOL/simpdata.ML	Thu Jul 30 19:02:52 1998 +0200
+++ b/src/FOL/simpdata.ML	Thu Jul 30 19:18:50 1998 +0200
@@ -352,8 +352,8 @@
 
 structure Clasimp = ClasimpFun
  (structure Simplifier = Simplifier and Classical = Cla and Blast = Blast
-  val addcongs = op addcongs and delcongs = op delcongs
-  and addSaltern = op addSaltern and addbefore = op addbefore);
+  val op addcongs = op addcongs and op delcongs = op delcongs
+  and op addSaltern = op addSaltern and op addbefore = op addbefore);
 
 open Clasimp;
 
--- a/src/HOL/simpdata.ML	Thu Jul 30 19:02:52 1998 +0200
+++ b/src/HOL/simpdata.ML	Thu Jul 30 19:18:50 1998 +0200
@@ -474,8 +474,8 @@
 
 structure Clasimp = ClasimpFun
  (structure Simplifier = Simplifier and Classical = Classical and Blast = Blast
-  val addcongs = op addcongs and delcongs = op delcongs
-  and addSaltern = op addSaltern and addbefore = op addbefore);
+  val op addcongs = op addcongs and op delcongs = op delcongs
+  and op addSaltern = op addSaltern and op addbefore = op addbefore);
 
 open Clasimp;
isabelle