wenzelm [Thu, 17 Apr 2008 16:30:48 +0200] rev 26702
added markup for fixed variables (local constants);
wenzelm [Thu, 17 Apr 2008 16:30:47 +0200] rev 26701
token translations: context dependent, result Pretty.T;
wenzelm [Thu, 17 Apr 2008 16:30:45 +0200] rev 26700
Pretty.mark;
wenzelm [Thu, 17 Apr 2008 11:40:00 +0200] rev 26699
unused_thms: sort_distinct;
wenzelm [Wed, 16 Apr 2008 22:17:43 +0200] rev 26698
Sign.add_path;
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;
wenzelm [Wed, 16 Apr 2008 21:53:04 +0200] rev 26696
pretty_theorems: use proper PureThy.facts_of;
wenzelm [Wed, 16 Apr 2008 21:53:03 +0200] rev 26695
Facts.extern_static;
wenzelm [Wed, 16 Apr 2008 21:53:02 +0200] rev 26694
PureThy.defined_fact;
unused_thms: simplified signature;
wenzelm [Wed, 16 Apr 2008 21:53:01 +0200] rev 26693
renamed check_fact to defined_fact;