wenzelm [Fri, 02 May 2008 22:47:58 +0200] rev 26775
use underscore for underscore;
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