changeset 10212 | 33fe2d701ddd |
parent 5759 | bf5d9e5b8cdf |
child 11954 | 3d1780208bf3 |
10211:1bece7f35762 | 10212:33fe2d701ddd |
---|---|
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Stefan Berghofer |
3 Author: Stefan Berghofer |
4 Copyright 1998 TU Muenchen |
4 Copyright 1998 TU Muenchen |
5 *) |
5 *) |
6 |
6 |
7 Datatype = Univ + |
7 Datatype = Datatype_Universe + |
8 |
8 |
9 rep_datatype bool |
9 rep_datatype bool |
10 distinct True_not_False, False_not_True |
10 distinct True_not_False, False_not_True |
11 induct bool_induct |
11 induct bool_induct |
12 |
12 |