src/HOLCF/IOA/ABP/Lemmas.thy
author mueller
Wed Apr 30 11:24:14 1997 +0200 (1997-04-30)
changeset 3072 a31419014be5
child 10212 33fe2d701ddd
permissions -rw-r--r--
Old ABP files now running under the IOA meta theory based on HOLCF;
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
mueller@3072
     9
Lemmas = Arith