Quelle  PrintAssumptions.out   Sprache: unbekannt

Axioms:
foo : nat
Axioms:
foo : nat
Axioms:
bli : Type
Axioms:
bli : Type
Axioms:
seq relies on definitional UIP.
Axioms:
M.foo : False
Closed under the global context
Closed under the global context
Closed under the global context
Closed under the global context