bug_13238.out « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

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

blob: a17d05200d81738cf273dff4efe12a09779a4680 (plain)

Ltac t1 x := replace (x x) with (x x)
Ltac t2 x := case : x 
Ltac t3 := by move ->
Ltac t4 := congr True