changeset 44276 | fe769a0fcc96 |
parent 44145 | 24bb6b4e873f |
child 44962 | 5554ed48b13f |
44263:971d1be5d5ce | 44276:fe769a0fcc96 |
---|---|
46 "MT", |
46 "MT", |
47 "Unification", |
47 "Unification", |
48 "Primrec", |
48 "Primrec", |
49 "Tarski", |
49 "Tarski", |
50 "Classical", |
50 "Classical", |
51 "set", |
51 "Set_Theory", |
52 "Meson_Test", |
52 "Meson_Test", |
53 "Termination", |
53 "Termination", |
54 "Coherent", |
54 "Coherent", |
55 "PresburgerEx", |
55 "PresburgerEx", |
56 "ReflectionEx", |
56 "ReflectionEx", |