| author | wenzelm |
| Sun, 22 Jan 2006 18:45:59 +0100 | |
| changeset 18742 | b38a18c9aed9 |
| parent 17309 | c43ed29bd197 |
| child 24180 | 9f818139951b |
| permissions | -rw-r--r-- |
(* File: MIParameters.thy ID: $Id$ Author: Stephan Merz Copyright: 1997 University of Munich Theory Name: MIParameters Logic Image: TLA RPC-Memory example: Parameters of the memory implementation. *) MIParameters = Main + datatype histState = histA | histB ML {* use_legacy_bindings (the_context ()) *} end