src/HOL/TLA/Init.ML
2005-09-07 wenzelm 2005-09-07 converted to Isar theory format;
1999-02-08 wenzelm 1999-02-08 updated (Stephan Merz);