Wed, 13 Apr 2005 18:49:22 +0200 *** MESSAGE REFERS TO PREVIOUS VERSION ***
wenzelm [Wed, 13 Apr 2005 18:49:22 +0200] rev 15722
*** MESSAGE REFERS TO PREVIOUS VERSION *** Attrib.src; removed Locale.multi_attribute (pass Attrib.src instead); removed interpret(_i) (use have_i instead); goals: more uniform treatment of after_qed, removed separate thy_mod of global goals;
Wed, 13 Apr 2005 18:49:07 +0200 *** MESSAGE REFERS TO PREVIOUS VERSION ***
wenzelm [Wed, 13 Apr 2005 18:49:07 +0200] rev 15721
*** MESSAGE REFERS TO PREVIOUS VERSION *** removed type multi_attribute (store Attrib.src instead); datatype elem/element(_i): Attrib.src instead of 'att; removed map_attrib_element etc.; added intern_attrib_elem(_expr); added map_elem, map_values to economize code; static binding of values in Attrib.src (cf. Args.closure, Attrib.crude_closure); prep_facts: transfer internal facts;
Wed, 13 Apr 2005 18:48:52 +0200 *** MESSAGE REFERS TO PREVIOUS VERSION ***
wenzelm [Wed, 13 Apr 2005 18:48:52 +0200] rev 15720
*** MESSAGE REFERS TO PREVIOUS VERSION *** Attrib.src, Method.src; Sign.declared_tyname/const; no Attrib.multi_attribute, pass Attrib.src directly to locales; register_locally: Proof.interpret_i replaced by Proof.have_i;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip