equal
deleted
inserted
replaced
1 (* Title: HOL/Tools/record.ML |
1 (* Title: HOL/Tools/record.ML |
2 Authors: Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen |
2 Author: Wolfgang Naraschewski, TU Muenchen |
3 Thomas Sewell, NICTA |
3 Author: Markus Wenzel, TU Muenchen |
4 |
4 Author: Norbert Schirmer, TU Muenchen |
5 Extensible records with structural subtyping in HOL. |
5 Author: Thomas Sewell, NICTA |
|
6 |
|
7 Extensible records with structural subtyping. |
6 *) |
8 *) |
7 |
9 |
8 signature BASIC_RECORD = |
10 signature BASIC_RECORD = |
9 sig |
11 sig |
10 val record_simproc: simproc |
12 val record_simproc: simproc |