Mercurial Mercurial > hg > nominal2 / 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.
added a comment about a function where I am not sure who wrote it.
authorChristian Urban <urbanc@in.tum.de>
Sat, 24 Apr 2010 10:00:33 +0200
changeset 1942 d3b89f6c086a
parent 1941 d33781f9d2c7
child 1943 48add8d4d7e5
added a comment about a function where I am not sure who wrote it.
Nominal/NewParser.thy file | annotate | diff | comparison | revisions 
--- a/Nominal/NewParser.thy	Sat Apr 24 09:49:23 2010 +0200
+++ b/Nominal/NewParser.thy	Sat Apr 24 10:00:33 2010 +0200
@@ -191,7 +191,7 @@
 end
 *}
 
-text {* What does the prep_bn code do ? *}
+text {* What does the prep_bn code do? Cezary's Function? *}
 
 ML {*
 fun strip_bn_fun t =
nominal2