Sum.out « output « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/output/Sum.out

blob: 22422602e8db8484f4fc81dfb6e789b2ffeb24f8 (plain)

nat+nat+{True}
     : Set
{True}+{True}+{True}
     : Set
nat+{True}+{True}
     : Set