60_at_in_tasks.mlw 54 Bytes
Newer Older
1 2 3 4 5 6 7


theory T

goal g : forall x:int. x = (at x 'L)

end