History log of /seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/MLY_parser1.sml
Revision Date Author Comments
# be09dd45 22-Jun-2006 Michael Norrish <Michael.Norrish@nicta.com.au>

Changed the names of the files in mlyacclib because I want these files
to move into sigobj, and I don't want name-clashes, particularly with
names like stream.sml. (If you use a parser generated by mlyacc, then
you need to have the files in mlyacclib available too.)