changeset 1478 | 2b8c2a7547ab |
parent 1401 | 0c439768f45c |
child 3840 | e0baea4d485a |
1477:4c51ab632cda | 1478:2b8c2a7547ab |
---|---|
1 (* Title: ZF/Coind/Values.thy |
1 (* Title: ZF/Coind/Values.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Jacob Frost, Cambridge University Computer Laboratory |
3 Author: Jacob Frost, Cambridge University Computer Laboratory |
4 Copyright 1995 University of Cambridge |
4 Copyright 1995 University of Cambridge |
5 *) |
5 *) |
6 |
6 |
7 Values = Language + Map + |
7 Values = Language + Map + |
8 |
8 |