goal_output.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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

blob: 773533a8d37805decfbb1987d084618385aefe44 (plain)

Nat.t = nat
     : Set
Nat.t = nat
     : Set
1 subgoal
  
  ============================
  False