diff options
Diffstat (limited to 'Nat.thy')
-rw-r--r-- | Nat.thy | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -52,4 +52,4 @@ lemmas Nat_rules [intro] = Nat_form Nat_intro Nat_elim Nat_comp1 Nat_comp2 lemmas Nat_comps [comp] = Nat_comp1 Nat_comp2 -end
\ No newline at end of file +end |