src/HOL/Word/Examples/ROOT.ML
author wenzelm
Wed Sep 17 21:27:14 2008 +0200 (2008-09-17)
changeset 28263 69eaa97e7e96
parent 24441 d2a5295570d0
child 33615 261abc2e3155
permissions -rw-r--r--
moved global ML bindings to global place;
huffman@24441
     1
use_thy "WordExamples";