changeset 33265 | 01c9c6dbd890 |
parent 33250 | 5c2af18a3237 |
33263:03c08ce703bf | 33265:01c9c6dbd890 |
---|---|
1 (* Author: Lukas Bulwahn, TU Muenchen |
1 (* Title: HOL/Tools/Predicate_Compile/predicate_compile_set.ML |
2 Author: Lukas Bulwahn, TU Muenchen |
|
2 |
3 |
3 Preprocessing sets to predicates |
4 Preprocessing sets to predicates. |
4 *) |
5 *) |
5 |
6 |
6 signature PREDICATE_COMPILE_SET = |
7 signature PREDICATE_COMPILE_SET = |
7 sig |
8 sig |
8 (* |
9 (* |