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.
tuned whitespace
authorhaftmann
Mon, 06 Apr 2009 08:24:55 +0200
changeset 30876 613c2eb8aef6
parent 30875 d63f8956bd39
child 30877 27cf197214c8
child 30878 309bfab064e9
tuned whitespace
src/Tools/code/code_wellsorted.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/code/code_wellsorted.ML	Sun Apr 05 23:19:39 2009 +0200
+++ b/src/Tools/code/code_wellsorted.ML	Mon Apr 06 08:24:55 2009 +0200
@@ -95,6 +95,7 @@
 val empty_vardeps_data : vardeps_data =
   (Vargraph.empty, (Symtab.empty, []));
 
+
 (* retrieving equations and instances from the background context *)
 
 fun obtain_eqns thy eqngr c =
isabelle