History log of /seL4-l4v-10.1.1/HOL4/src/string/Manual/index.tex
Revision Date Author Comments
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision