equal
deleted
inserted
replaced
25 |
25 |
26 |
26 |
27 Lower Priority |
27 Lower Priority |
28 ============== |
28 ============== |
29 |
29 |
|
30 - allow the user to provide the rsp lemmas in a more |
|
31 natural form |
|
32 |
30 - find clean ways how to write down the "mathematical" |
33 - find clean ways how to write down the "mathematical" |
31 procedure for a possible submission (Peter submitted |
34 procedure for a possible submission (Peter submitted |
32 his work only to TPHOLs 2005...we would have to go |
35 his work only to TPHOLs 2005...we would have to go |
33 maybe for the Journal of Formalised Mathematics) |
36 maybe for the Journal of Formalised Mathematics) |
|
37 |
|
38 - use lower-case letters where appropriate in order |
|
39 to make Markus happy |
|
40 |
|
41 - add tests for adding theorems to the various thm lists |