[isabelle] document preparation / hiding attributes



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear all,

I wonder whether there is a way to hide attributes for document
preparation similar as it is possible to hide proofs.
For example, in

lemma foo [simp]: ...
proof
...
qed

I know how to make a document version without "proof ... qed", but I do
not know how to make a version without "[simp]".
(Of course, I could use (*<*) and (*>*), but that would be hard to
maintain.)

Thanks in advance,

Matthias
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFMjhZUczhznXSdWggRAp6RAJ0Qa+V9o/9IiqfGTNZ/PrUJI2aDHgCfZij1
97GBvByzT+PnqBVk4XbRvm4=
=qB6p
-----END PGP SIGNATURE-----





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.