changeset 32745 | 192d58483fdf |
parent 32744 | 50406c4951d9 |
child 32752 | f65d74a264dd |
32744:50406c4951d9 | 32745:192d58483fdf |
---|---|
1 (* Title: HOL/Record.thy |
1 (* Title: HOL/Record.thy |
2 ID: $Id: Record.thy,v 1.33 2007/12/19 15:32:12 schirmer Exp $ |
|
3 Author: Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen |
2 Author: Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen |
4 *) |
3 *) |
5 |
4 |
6 header {* Extensible records with structural subtyping *} |
5 header {* Extensible records with structural subtyping *} |
7 |
6 |