| 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
|
| Tue, 03 Mar 2009 19:21:10 +0100 |
haftmann |
merged
|
changeset |
files
|
| Tue, 03 Mar 2009 13:20:53 +0100 |
haftmann |
tuned manuals
|
changeset |
files
|
| Tue, 03 Mar 2009 11:00:51 +0100 |
haftmann |
more canonical directory structure of manuals
|
changeset |
files
|
| Tue, 03 Mar 2009 18:33:21 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 03 Mar 2009 17:05:18 +0100 |
nipkow |
removed and renamed redundant lemmas
|
changeset |
files
|