equal
deleted
inserted
replaced
12 - check/establish conformity of HTML files to (some version of) the HTML |
12 - check/establish conformity of HTML files to (some version of) the HTML |
13 language specification (cf. http://validator.w3.org/) (Tjark, or anyone |
13 language specification (cf. http://validator.w3.org/) (Tjark, or anyone |
14 who is interested) |
14 who is interested) |
15 |
15 |
16 - eliminate the last remaining old-style theories (Larry): |
16 - eliminate the last remaining old-style theories (Larry): |
17 Datatype_Universe.ML |
|
18 HOL_lemmas.ML |
17 HOL_lemmas.ML |
19 NatArith.ML |
18 NatArith.ML |
20 Relation_Power.ML |
19 Relation_Power.ML |
21 Sum_Type.ML |
|
22 |
20 |
23 - update or remove ex/MT (Larry? Tobias?) |
21 - update or remove ex/MT (Larry? Tobias?) |
24 |
22 |
25 - remove this file (Tobias) |
23 - remove this file (Tobias) |