src/Sequents/LK/Nat.ML
changeset 17481 75166ebb619b
parent 7095 cfc11af6174a
     1.1 --- a/src/Sequents/LK/Nat.ML	Sun Sep 18 14:25:48 2005 +0200
     1.2 +++ b/src/Sequents/LK/Nat.ML	Sun Sep 18 15:20:08 2005 +0200
     1.3 @@ -1,9 +1,7 @@
     1.4 -(*  Title:      Sequents/LK/Nat
     1.5 +(*  Title:      Sequents/LK/Nat.ML
     1.6      ID:         $Id$
     1.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.8      Copyright   1999  University of Cambridge
     1.9 -
    1.10 -Theory of the natural numbers: Peano's axioms, primitive recursion
    1.11  *)
    1.12  
    1.13  Addsimps [Suc_neq_0];