src/HOL/TLA/Memory/MIParameters.thy
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1997-10-08 wenzelm 1997-10-08 A formalization of TLA in HOL -- by Stephan Merz;