fixed bug in appending special facts introduced in be0e66ccebfa -- if several special facts were added, they overwrote each other
fixed bug in appending special facts introduced in be0e66ccebfa -- if several special facts were added, they overwrote each other

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle