equal
deleted
inserted
replaced
5 Some simple axclass demos that go along with the paper "Using |
5 Some simple axclass demos that go along with the paper "Using |
6 Axiomatic Type Classes in Isabelle --- a tutorial". (The NatClass |
6 Axiomatic Type Classes in Isabelle --- a tutorial". (The NatClass |
7 example resides in directory FOL/ex/.) |
7 example resides in directory FOL/ex/.) |
8 *) |
8 *) |
9 |
9 |
10 reset HOL_quantifiers; |
|
11 set show_types; |
10 set show_types; |
12 set show_sorts; |
11 set show_sorts; |
13 |
12 |
14 |
13 |
15 (* Semigroups *) |
14 (* Semigroups *) |