src/HOL/Nominal/ROOT.ML
author haftmann
Wed Jun 17 08:13:05 2009 +0200 (2009-06-17 ago)
changeset 31671 81e5e8ffe92f
parent 24584 01e83ffa6c54
child 33615 261abc2e3155
permissions -rw-r--r--
datatype packages: record datatype_config for configuration flags; less verbose signatures
haftmann@24584
     1
(*  Title:      HOL/Nominal/ROOT.ML
berghofe@19493
     2
    ID:         $Id$
berghofe@19493
     3
    Author:     Stefan Berghofer and Christian Urban, TU Muenchen
berghofe@19493
     4
berghofe@19493
     5
The nominal datatype package.
berghofe@19493
     6
*)
berghofe@19493
     7
wenzelm@20809
     8
no_document use_thy "Infinite_Set";
berghofe@19493
     9
use_thy "Nominal";