src/HOL/IOA/ROOT.ML
author haftmann
Mon Aug 14 13:46:06 2006 +0200 (2006-08-14)
changeset 20380 14f9f2a1caa6
parent 4529 21034b090722
child 33615 261abc2e3155
permissions -rw-r--r--
simplified code generator setup
     1 (*  Title:      HOL/IOA/ROOT.ML
     2     ID:         $Id$
     3     Author:     Tobias Nipkow & Konrad Slind
     4     Copyright   1994  TU Muenchen
     5 
     6 This is the ROOT file for the meta theory of I/O-Automata.
     7 
     8 @inproceedings{Nipkow-Slind-IOA,
     9 author={Tobias Nipkow and Konrad Slind},
    10 title={{I/O} Automata in {Isabelle/HOL}},
    11 booktitle={Proc.\ TYPES Workshop 1994},
    12 publisher=Springer,
    13 series=LNCS,
    14 note={To appear}}
    15 ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/ioa.ps.gz
    16 
    17 and
    18 
    19 @inproceedings{Mueller-Nipkow,
    20 author={Olaf M\"uller and Tobias Nipkow},
    21 title={Combining Model Checking and Deduction for {I/O}-Automata},
    22 booktitle={Proc.\ TACAS Workshop},
    23 organization={Aarhus University, BRICS report},
    24 year=1995}
    25 ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/tacas.dvi.gz
    26 *)
    27 
    28 use_thy "Solve";