1 %% test per temperino.lang
7 inductive pippo : Type \def
12 definition pollo : Set \to Set \def
15 inductive paolo : Prop \def t:paolo.
17 theorem comeno : \forall p:pippo.pippo.
21 definition f : pippo \to paolo \def
26 | (c z) \Rightarrow t ].
28 record w : Type \def {