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 Language = Main: |
7 theory Language imports Main begin |
8 |
8 |
9 consts |
9 consts |
10 Const :: i (* Abstract type of constants *) |
10 Const :: i (* Abstract type of constants *) |
11 c_app :: "[i,i] => i" (* Abstract constructor for fun application*) |
11 c_app :: "[i,i] => i" (* Abstract constructor for fun application*) |
12 |
12 |