equal
deleted
inserted
replaced
8 |
8 |
9 section \<open>Extensible records with structural subtyping\<close> |
9 section \<open>Extensible records with structural subtyping\<close> |
10 |
10 |
11 theory Record |
11 theory Record |
12 imports Quickcheck_Exhaustive |
12 imports Quickcheck_Exhaustive |
13 keywords "record" :: thy_decl |
13 keywords |
|
14 "record" :: thy_decl and |
|
15 "print_record" :: diag |
14 begin |
16 begin |
15 |
17 |
16 subsection \<open>Introduction\<close> |
18 subsection \<open>Introduction\<close> |
17 |
19 |
18 text \<open> |
20 text \<open> |