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/XL happy;
authorwenzelm
Fri, 31 Mar 2000 22:01:01 +0200
changeset 8642 140883a538c1
parent 8641 978db2870862
child 8643 331f0c75e3dc
made SML/XL happy;
TFL/tfl.sml file | annotate | diff | comparison | revisions 
--- a/TFL/tfl.sml	Fri Mar 31 22:00:36 2000 +0200
+++ b/TFL/tfl.sml	Fri Mar 31 22:01:01 2000 +0200
@@ -121,8 +121,8 @@
 fun pattern_subst theta = pattern_map (subst_free theta);
 
 val pat_of = fst;
-val row_of_pat = fst o snd;
-val given = snd o snd;
+fun row_of_pat x = fst (snd x);
+fun given x = snd (snd x);
 
 (*---------------------------------------------------------------------------
  * Produce an instance of a constructor, plus genvars for its arguments.
isabelle