last adjustments of examples before course

This commit is contained in:
aarne
2007-09-12 21:03:00 +00:00
parent fff6afd438
commit c9f8961a9e
10 changed files with 1589 additions and 1173 deletions

View File

@@ -0,0 +1,12 @@
interface LexSmart = open Syntax in {
oper
dim_V2 : V2 ;
fan_N : N ;
kitchen_N : N ;
light_N : N ;
livingRoom_N : N ;
switchOff_V2 : V2 ;
switchOn_V2 : V2 ;
}