author | haftmann |
Fri, 16 Mar 2007 21:32:10 +0100 | |
changeset 22454 | c3654ba76a09 |
parent 13095 | 8ed413a57bdc |
child 24104 | 719fbe4fb77f |
permissions | -rw-r--r-- |
(* Title: HOL/IMP/ROOT.ML ID: $Id$ Author: Heiko Loetzbeyer, Robert Sandner, Tobias Nipkow, David von Oheimb Copyright 1995 TUM Caveat: HOLCF/IMP depends on HOL/IMP *) time_use_thy "Expr"; time_use_thy "Transition"; time_use_thy "VC"; time_use_thy "Examples"; time_use_thy "Compiler0"; time_use_thy "Compiler";