Cross Reference: /seL4-l4v-10.1.1/HOL4/tools/end-init.sml

History log of /seL4-l4v-10.1.1/HOL4/tools/end-init.sml
Revision		Date	Author	Comments
# 2998a714		26-Oct-1999	Konrad Slind <konrad.slind@gmail.com>	This file turns the printing of declarations back on in MoscowML. This makes the banner somewhat less ugly.