gap15_base.def 127 B

1234
  1. DEFINITION MODULE Gap15Base;
  2. (* Companion for the gap15 qualified-import repros. *)
  3. TYPE Colour = (red, green);
  4. END Gap15Base.