[isabelle] Adding lemmas to fact collections



Hello,

in Isabelle 2005 it was possible to successively add lemmas to a
collection of lemmas in a way like:
lemmas some_lemmas = lemma1 lemma2
lemmas some_lemmas = some_lemmas lemma3
lemmas some_lemmas = some_lemmas lemma4
...

In Isabelle 2008 this method yields the error message "Duplicate fact".
Is there a way to add new facts to an already declared fact collection?

Thank You in advance!

David






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