| Mon, 02 Apr 2012 17:00:32 +0200 | wenzelm | better restore to first target, not last target; | changeset | files |
| Mon, 02 Apr 2012 16:35:09 +0200 | wenzelm | refined define/abbrev: allow extra fixes in aux. context vs. bottom target (NB: export_term expands defined variables, leaving fixed ones); | changeset | files |
| Mon, 02 Apr 2012 15:42:50 +0200 | wenzelm | more general Local_Theory.restore, allow any nesting level; | changeset | files |
| Mon, 02 Apr 2012 13:47:00 +0200 | nipkow | new tutorial | changeset | files |
| Mon, 02 Apr 2012 10:49:03 +0200 | nipkow | New manual Programming and Proving in Isabelle/HOL | changeset | files |
| Mon, 02 Apr 2012 09:18:16 +0200 | huffman | add simp rules for dvd on negative numerals | changeset | files |
| Sun, 01 Apr 2012 23:21:54 +0200 | krauss | merged, manually resolving conflicts due to session renaming (cf. 6488c5efec49) | changeset | files |