etc/coq/xemacs21528.v


1
2
3
4
5
6
7
8
9
10
11
12
13
14

(* There are regexp problems with XEmacs 21.5.28 which break this example *)

Module Type T.

Parameter p1 : nat.
Parameter p2 : nat.
Parameter p3 : nat.
Parameter p4 : nat.
Parameter p5 : nat.
Parameter p6 : nat.
Parameter p7 : nat.
Parameter p8 : nat.

End T.