wenzelm [Wed, 04 Mar 2009 00:05:20 +0100] rev 30234
renamed Method.assumption_tac back to Method.assm_tac -- as assumption_tac it would have to be exactly the tactic behind the assumption method (with facts);
wenzelm [Tue, 03 Mar 2009 21:53:52 +0100] rev 30233
eliminated internal stamp equality, replaced by bare-metal pointer_eq;
misc tuning and polishing;
wenzelm [Tue, 03 Mar 2009 21:49:34 +0100] rev 30232
tuned str_of, now subject to verbose flag;
wenzelm [Tue, 03 Mar 2009 21:49:05 +0100] rev 30231
added @{binding} ML antiquotations;
wenzelm [Tue, 03 Mar 2009 21:48:40 +0100] rev 30230
added print_properties, print_position (again);
wenzelm [Tue, 03 Mar 2009 19:30:43 +0100] rev 30229
merged
haftmann [Tue, 03 Mar 2009 19:21:10 +0100] rev 30228
merged
haftmann [Tue, 03 Mar 2009 13:20:53 +0100] rev 30227
tuned manuals
haftmann [Tue, 03 Mar 2009 11:00:51 +0100] rev 30226
more canonical directory structure of manuals
wenzelm [Tue, 03 Mar 2009 18:33:21 +0100] rev 30225
merged
nipkow [Tue, 03 Mar 2009 17:05:18 +0100] rev 30224
removed and renamed redundant lemmas
wenzelm [Tue, 03 Mar 2009 18:32:01 +0100] rev 30223
renamed Binding.name_pos to Binding.make, renamed Binding.base_name to Binding.name_of, renamed Binding.map_base to Binding.map_name, added mandatory flag to Binding.qualify;
minor tuning;