Thu, 17 Apr 2008 16:30:52 +0200 replaced token translations by common markup;
wenzelm [Thu, 17 Apr 2008 16:30:52 +0200] rev 26706
replaced token translations by common markup;
Thu, 17 Apr 2008 16:30:51 +0200 default token translations with proper markup;
wenzelm [Thu, 17 Apr 2008 16:30:51 +0200] rev 26705
default token translations with proper markup;
Thu, 17 Apr 2008 16:30:50 +0200 token translations: context dependent, result Pretty.T;
wenzelm [Thu, 17 Apr 2008 16:30:50 +0200] rev 26704
token translations: context dependent, result Pretty.T; string_of_term/prop: Variable.auto_fixes;
Thu, 17 Apr 2008 16:30:48 +0200 removed obsolete raw_str;
wenzelm [Thu, 17 Apr 2008 16:30:48 +0200] rev 26703
removed obsolete raw_str; added mark;
Thu, 17 Apr 2008 16:30:48 +0200 added markup for fixed variables (local constants);
wenzelm [Thu, 17 Apr 2008 16:30:48 +0200] rev 26702
added markup for fixed variables (local constants);
Thu, 17 Apr 2008 16:30:47 +0200 token translations: context dependent, result Pretty.T;
wenzelm [Thu, 17 Apr 2008 16:30:47 +0200] rev 26701
token translations: context dependent, result Pretty.T;
Thu, 17 Apr 2008 16:30:45 +0200 Pretty.mark;
wenzelm [Thu, 17 Apr 2008 16:30:45 +0200] rev 26700
Pretty.mark;
Thu, 17 Apr 2008 11:40:00 +0200 unused_thms: sort_distinct;
wenzelm [Thu, 17 Apr 2008 11:40:00 +0200] rev 26699
unused_thms: sort_distinct;
Wed, 16 Apr 2008 22:17:43 +0200 Sign.add_path;
wenzelm [Wed, 16 Apr 2008 22:17:43 +0200] rev 26698
Sign.add_path;
Wed, 16 Apr 2008 21:53:05 +0200 removed obsolete BASIC_THM_DEPS;
wenzelm [Wed, 16 Apr 2008 21:53:05 +0200] rev 26697
removed obsolete BASIC_THM_DEPS; unused_thms: simplified signature, use proper PureThy.facts_of; misc tuning;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip