| changeset 952 | 9c3b3eaecaff |
| parent 921 | dae038c8cd69 |
| child 1097 | 551eacf071d7 |
| 951:62f0344b219c | 952:9c3b3eaecaff |
|---|---|
1 Highest Priority |
1 Highest Priority |
2 ================ |
2 ================ |
3 |
|
4 - give examples for the new quantifier translations in regularization |
|
5 (quotient_term.ML) |
|
6 |
|
3 |
7 |
4 Higher Priority |
8 Higher Priority |
5 =============== |
9 =============== |
6 |
10 |
7 - Ask Markus how the files Quot* should be named. |
11 - Ask Markus how the files Quot* should be named. |