Mercurial Mercurial > hg > nominal2 / 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.
LamEx.thy
changeset 445 f1c0a66284d3
parent 419 b1cd040ff5f7
child 451 586e3dc4afdb 
--- a/LamEx.thy	Sat Nov 28 14:15:05 2009 +0100
+++ b/LamEx.thy	Sat Nov 28 14:33:04 2009 +0100
@@ -264,12 +264,6 @@
 (* Construction Site code *)
 
 
-
-
-
-
-
-
 fun
   option_map::"('a \<Rightarrow> 'b) \<Rightarrow> ('a noption) \<Rightarrow> ('b noption)"
 where
nominal2