isabelle: TODO@7a5ded09f68b (annotated)

15139 58cd3404cf75 todo before next release kleing parents: diff changeset	1	For Isabelle2005:
58cd3404cf75 todo before next release kleing parents: diff changeset	2
15310 7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	3	- update course material slides to new theory format (Tobias)
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	4
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	5	- modular generation of ML code with structures (Stefan)
15139 58cd3404cf75 todo before next release kleing parents: diff changeset	6
15310 7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	7	- finding rewrite rules based on PG subterm selection (Tobias)
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	8
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	9	- a global "disprove" menu item both as an action and (if it can be done)
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	10	as a setting (Stefan & Tjark)
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	11
7a5ded09f68b * empty log message * nipkow parents: 15139 diff changeset	12	- remove this file (Tobias)