History log of /seL4-l4v-master/HOL4/src/res_quan/Manual/summacs.tex
Revision Date Author Comments
# cb436c81 04-Aug-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Updated summary files so that this (possibly useful) file now also builds.
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision