src/HOL/Statespace/ROOT.ML
author haftmann
Fri Jan 02 08:12:46 2009 +0100 (2009-01-02)
changeset 29332 edc1e2a56398
parent 25171 4a9c25bffc9b
child 33615 261abc2e3155
permissions -rw-r--r--
named code theorem for Fract_norm
     1 use_thy "StateSpaceEx";