isabelle: Changelog

wenzelm [Fri, 02 May 2008 22:47:23 +0200] rev 26774

output_entity: added \mbox{} to prevent hyphenation;

urbanc [Fri, 02 May 2008 22:43:14 +0200] rev 26773

added more infrastructure for fresh_star

urbanc [Fri, 02 May 2008 18:42:17 +0200] rev 26772

added mising lemma

nipkow [Fri, 02 May 2008 18:01:02 +0200] rev 26771

Added documentation

wenzelm [Fri, 02 May 2008 16:39:44 +0200] rev 26770

moved begin and imports to ../isar.sty;

wenzelm [Fri, 02 May 2008 16:38:01 +0200] rev 26769

added begin and imports;

wenzelm [Fri, 02 May 2008 16:36:29 +0200] rev 26768

clean_string: handle { };

wenzelm [Fri, 02 May 2008 16:36:05 +0200] rev 26767

converted pure.tex to Thy/pure.thy;

urbanc [Fri, 02 May 2008 16:32:51 +0200] rev 26766

polished the proof for atm_prm_fresh and more lemmas for fresh_star

ballarin [Fri, 02 May 2008 15:49:04 +0200] rev 26765

unfold_locales part of default method.

isabelle