| Wed, 04 Mar 2009 10:47:20 +0100 | nipkow | Made Option a separate theory and renamed option_map to Option.map | changeset | files |
| Wed, 04 Mar 2009 00:05:20 +0100 | wenzelm | 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); | changeset | files |
| Tue, 03 Mar 2009 21:53:52 +0100 | wenzelm | eliminated internal stamp equality, replaced by bare-metal pointer_eq; | changeset | files |
| Tue, 03 Mar 2009 21:49:34 +0100 | wenzelm | tuned str_of, now subject to verbose flag; | changeset | files |
| Tue, 03 Mar 2009 21:49:05 +0100 | wenzelm | added @{binding} ML antiquotations; | changeset | files |
| Tue, 03 Mar 2009 21:48:40 +0100 | wenzelm | added print_properties, print_position (again); | changeset | files |
| Tue, 03 Mar 2009 19:30:43 +0100 | wenzelm | merged | changeset | files |