equal
deleted
inserted
replaced
4 Author: Norbert Schirmer, TU Muenchen |
4 Author: Norbert Schirmer, TU Muenchen |
5 Author: Thomas Sewell, NICTA |
5 Author: Thomas Sewell, NICTA |
6 Author: Florian Haftmann, TU Muenchen |
6 Author: Florian Haftmann, TU Muenchen |
7 *) |
7 *) |
8 |
8 |
9 header {* Extensible records with structural subtyping *} |
9 section {* Extensible records with structural subtyping *} |
10 |
10 |
11 theory Record |
11 theory Record |
12 imports Quickcheck_Exhaustive |
12 imports Quickcheck_Exhaustive |
13 keywords "record" :: thy_decl |
13 keywords "record" :: thy_decl |
14 begin |
14 begin |