src/CTT/ROOT.ML
author boehmes
Tue, 07 Dec 2010 14:54:31 +0100
changeset 41061 492f8fd35fc0
parent 33615 261abc2e3155
permissions -rw-r--r--
centralized handling of built-in types and constants for bitvectors

(*  Title:      CTT/ROOT.ML
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    Copyright   1991  University of Cambridge
*)

use_thys ["Main"];