move two lemmas to nat
authorAnders Mörtberg <andersmortberg@gmail.com>
Fri, 15 Jan 2016 21:29:06 +0000 (16:29 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 15 Jan 2016 21:29:06 +0000 (16:29 -0500)
commita9d652db84f5e592afda63b98dc9dae7e50cd055
treef8aee2394b017d2e0257f5be14d43be148fc39ca
parent3612dd478fbec3e260c835cd68ea2e7c16b005d8
move two lemmas to nat
examples/hz.ctt
examples/nat.ctt