src/HOLCF/IOA/ABP/Lemmas.thy
author nipkow
Thu Oct 12 18:38:23 2000 +0200 (2000-10-12)
changeset 10212 33fe2d701ddd
parent 3072 a31419014be5
child 10215 1ead773b365e
permissions -rw-r--r--
*** empty log message ***
     1 (*  Title:      HOLCF/IOA/ABP/Lemmas.thy
     2     ID:         $Id$
     3     Author:     Olaf Mueller
     4     Copyright   1995  TU Muenchen
     5 
     6 Arithmetic lemmas
     7 *)
     8 
     9 Lemmas = Arithmetic