git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8630 8c9fc860-2736-0410-a75d-ab315db34111
@@ -129,7 +129,7 @@
</Group>
<Group style="Structure">
MODULE IMPORT TYPE DEFINITION REFINES IMPLEMENTS PROCEDURE OPERATOR
- OBJECT RECORD
+ OBJECT RECORD ENUM
<Group style="Values">
NIL TRUE FALSE IMAG
@@ -303,7 +303,7 @@
module import type definition refines implements procedure operator
- object record
+ object record enum
nil true false imag
@@ -460,7 +460,7 @@
MODULE IMPORT TYPE DEFINITION REFINES IMPLEMENTS PROCEDURE
NIL TRUE FALSE