Hide does not work
On the following simple goal, hide t 1
does not work. It should be investigated.
axiom h: 1 = 3
goal G: forall x. x = 1
On the following simple goal, hide t 1
does not work. It should be investigated.
axiom h: 1 = 3
goal G: forall x. x = 1