equal
deleted
inserted
replaced
25 |
25 |
26 - rules -> iprover (Stefan) |
26 - rules -> iprover (Stefan) |
27 |
27 |
28 - ball, bex and setsum congruence rules (Tobias & Stefan) |
28 - ball, bex and setsum congruence rules (Tobias & Stefan) |
29 |
29 |
|
30 - use IntInf.int (Steven) |
|
31 |
30 - html generation: somtimes lemma names and whole lemmas are missing. |
32 - html generation: somtimes lemma names and whole lemmas are missing. |
31 See http://afp.sourceforge.net/browser_info/current/HOL/HOL-Complex/Integration/SetsumThms.html |
33 See http://afp.sourceforge.net/browser_info/current/HOL/HOL-Complex/Integration/SetsumThms.html |
32 (Markus?) |
34 (Markus?) |
33 |
35 |
34 - remove this file (Tobias) |
36 - remove this file (Tobias) |