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 ***
mueller@3072
     1
(*  Title:      HOLCF/IOA/ABP/Lemmas.thy
mueller@3072
     2
    ID:         $Id$
mueller@3072
     3
    Author:     Olaf Mueller
mueller@3072
     4
    Copyright   1995  TU Muenchen
mueller@3072
     5
mueller@3072
     6
Arithmetic lemmas
mueller@3072
     7
*)
mueller@3072
     8
nipkow@10212
     9
Lemmas = Arithmetic