Wed, 04 Mar 2009 10:47:35 +0100 | nipkow | merged | changeset | files |
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 |