History log of /seL4-l4v-10.1.1/HOL4/src/q/README
Revision Date Author Comments
# 9dd48c01 16-Sep-2009 Tjark Weber <Tjark.Weber@cl.cam.ac.uk>

Tuned.
# 58841e67 29-Apr-1999 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial revision