Fri, 02 May 2008 22:48:51 +0200 updated generated file;
wenzelm [Fri, 02 May 2008 22:48:51 +0200] rev 26776
updated generated file;
Fri, 02 May 2008 22:47:58 +0200 use underscore for underscore;
wenzelm [Fri, 02 May 2008 22:47:58 +0200] rev 26775
use underscore for underscore;
Fri, 02 May 2008 22:47:23 +0200 output_entity: added \mbox{} to prevent hyphenation;
wenzelm [Fri, 02 May 2008 22:47:23 +0200] rev 26774
output_entity: added \mbox{} to prevent hyphenation;
Fri, 02 May 2008 22:43:14 +0200 added more infrastructure for fresh_star
urbanc [Fri, 02 May 2008 22:43:14 +0200] rev 26773
added more infrastructure for fresh_star
Fri, 02 May 2008 18:42:17 +0200 added mising lemma
urbanc [Fri, 02 May 2008 18:42:17 +0200] rev 26772
added mising lemma
Fri, 02 May 2008 18:01:02 +0200 Added documentation
nipkow [Fri, 02 May 2008 18:01:02 +0200] rev 26771
Added documentation
Fri, 02 May 2008 16:39:44 +0200 moved begin and imports to ../isar.sty;
wenzelm [Fri, 02 May 2008 16:39:44 +0200] rev 26770
moved begin and imports to ../isar.sty;
Fri, 02 May 2008 16:38:01 +0200 added begin and imports;
wenzelm [Fri, 02 May 2008 16:38:01 +0200] rev 26769
added begin and imports;
Fri, 02 May 2008 16:36:29 +0200 clean_string: handle { };
wenzelm [Fri, 02 May 2008 16:36:29 +0200] rev 26768
clean_string: handle { };
Fri, 02 May 2008 16:36:05 +0200 converted pure.tex to Thy/pure.thy;
wenzelm [Fri, 02 May 2008 16:36:05 +0200] rev 26767
converted pure.tex to Thy/pure.thy;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip