equal
deleted
inserted
replaced
1 (* Title: CCL/Set.thy |
|
2 ID: $Id$ |
|
3 *) |
|
4 |
|
5 header {* Extending FOL by a modified version of HOL set theory *} |
1 header {* Extending FOL by a modified version of HOL set theory *} |
6 |
2 |
7 theory Set |
3 theory Set |
8 imports FOL |
4 imports FOL |
9 begin |
5 begin |