equal
deleted
inserted
replaced
11 |
11 |
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): |
|
17 Datatype_Universe.ML |
|
18 Gfp.ML |
|
19 HOL_lemmas.ML |
|
20 Lfp.ML |
|
21 NatArith.ML |
|
22 Relation_Power.ML |
|
23 Sum_Type.ML |
|
24 Wellfounded_Recursion.ML |
|
25 Wellfounded_Relations.ML |
|
26 |
16 - remove this file (Tobias) |
27 - remove this file (Tobias) |