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;
wenzelm [Wed, 16 Apr 2008 21:53:00 +0200] rev 26692
removed unused space_of;
added defined, fold_static;
renamed dest_table to dest_static;
renamed extern_table to extern_static;
wenzelm [Wed, 16 Apr 2008 21:52:59 +0200] rev 26691
valid_facts: more elementary version using Facts.fold_static;
wenzelm [Wed, 16 Apr 2008 21:52:58 +0200] rev 26690
Facts.dest_static;