nipkow [Wed, 04 Mar 2009 10:47:35 +0100] rev 30236
merged
nipkow [Wed, 04 Mar 2009 10:47:20 +0100] rev 30235
Made Option a separate theory and renamed option_map to Option.map
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