15_destruct_alg.mlw 78 Bytes
Newer Older
1 2 3 4 5 6 7 8 9

module Issue15

use import list.List

goal g: forall l:list 'a. l = Nil


end