equal
deleted
inserted
replaced
14 text {* |
14 text {* |
15 WARNING: there are many potential conflicts between variables used |
15 WARNING: there are many potential conflicts between variables used |
16 below and constants declared in HOL! |
16 below and constants declared in HOL! |
17 *} |
17 *} |
18 |
18 |
19 hide_const (open) subset member quotient union inter sum |
19 hide_const (open) subset quotient union inter sum |
20 |
20 |
21 text {* |
21 text {* |
22 Test data for the MESON proof procedure |
22 Test data for the MESON proof procedure |
23 (Excludes the equality problems 51, 52, 56, 58) |
23 (Excludes the equality problems 51, 52, 56, 58) |
24 *} |
24 *} |