src/HOL/IMPP/ROOT.ML
author haftmann
Fri Jan 02 08:12:46 2009 +0100 (2009-01-02)
changeset 29332 edc1e2a56398
parent 9000 c20d58286a51
child 33615 261abc2e3155
permissions -rw-r--r--
named code theorem for Fract_norm
oheimb@8177
     1
(*  Title:      HOL/IMPP/ROOT.ML
oheimb@8177
     2
    ID:         $Id$
oheimb@8177
     3
    Author:     David von Oheimb
oheimb@8177
     4
    Copyright   1999 TUM
oheimb@8177
     5
*)
oheimb@8177
     6
wenzelm@9000
     7
time_use_thy "EvenOdd";