20445.mlw 96 Bytes
Newer Older
1
module A
2 3
predicate p
axiom G : p -> p
4 5 6 7
end

module B
goal G : false
8 9
clone A as A with goal G
end