equal
deleted
inserted
replaced
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 theory Values = Language + Map: |
7 theory Values imports Language Map begin |
8 |
8 |
9 (* Values, values environments and associated operators *) |
9 (* Values, values environments and associated operators *) |
10 |
10 |
11 consts |
11 consts |
12 Val :: i |
12 Val :: i |