# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1272096033 -7200
# Node ID d3b89f6c086a41b4378c802d526daa6d005d851e
# Parent  d33781f9d2c7f0fc78bcde7eadb6ca73ed3b5d17
added a comment about a function where I am not sure who wrote it.

diff -r d33781f9d2c7 -r d3b89f6c086a Nominal/NewParser.thy
--- 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 =