--- a/src/HOL/Basic_BNFs.thy Mon Jan 20 20:21:12 2014 +0100
+++ b/src/HOL/Basic_BNFs.thy Mon Jan 20 20:42:43 2014 +0100
@@ -11,7 +11,6 @@
theory Basic_BNFs
imports BNF_Def
- (*FIXME: define relators here, reuse in Lifting_* once this theory is in HOL*)
begin
bnf ID: 'a