Tue, 31 May 2005 11:53:36 +0200 renamed cond_extern to extern;
wenzelm [Tue, 31 May 2005 11:53:36 +0200] rev 16145
renamed cond_extern to extern; Sign.declare_name replaces NameSpace.extend; (RAW_)METHOD_CASES: RuleCases.T option;
Tue, 31 May 2005 11:53:35 +0200 renamed cond_extern to extern;
wenzelm [Tue, 31 May 2005 11:53:35 +0200] rev 16144
renamed cond_extern to extern; Sign.declare_name replaces NameSpace.extend; proper use of naming context; tuned rename_facts; note_thmss_registrations: avoid non-linear use of thy (via sign);
Tue, 31 May 2005 11:53:34 +0200 improved naming of complex theorems in presentation;
wenzelm [Tue, 31 May 2005 11:53:34 +0200] rev 16143
improved naming of complex theorems in presentation;
Tue, 31 May 2005 11:53:33 +0200 added short_names, unique_names options;
wenzelm [Tue, 31 May 2005 11:53:33 +0200] rev 16142
added short_names, unique_names options;
Tue, 31 May 2005 11:53:32 +0200 renamed cond_extern to extern;
wenzelm [Tue, 31 May 2005 11:53:32 +0200] rev 16141
renamed cond_extern to extern; Sign.declare_name replaces NameSpace.extend;
Tue, 31 May 2005 11:53:31 +0200 added symbol scanner;
wenzelm [Tue, 31 May 2005 11:53:31 +0200] rev 16140
added symbol scanner;
Tue, 31 May 2005 11:53:30 +0200 remove(_multi): generalized type;
wenzelm [Tue, 31 May 2005 11:53:30 +0200] rev 16139
remove(_multi): generalized type;
Tue, 31 May 2005 11:53:29 +0200 added is_ident (from Syntax/lexicon.ML);
wenzelm [Tue, 31 May 2005 11:53:29 +0200] rev 16138
added is_ident (from Syntax/lexicon.ML);
Tue, 31 May 2005 11:53:28 +0200 renamed cond_extern to extern;
wenzelm [Tue, 31 May 2005 11:53:28 +0200] rev 16137
renamed cond_extern to extern; append, base, drop_base, map_base: made robust against empty names; added qualified; extern: improved output for non-unique non-hidden names; name entry path superceded by general naming context; added reject_qualified, default_naming, add_path, no_base_names, custom_accesses, set_policy;
Tue, 31 May 2005 11:53:27 +0200 tuned arrangement of structures;
wenzelm [Tue, 31 May 2005 11:53:27 +0200] rev 16136
tuned arrangement of structures;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip