History log of /seL4-l4v-master/HOL4/src/meson/src/jrhTactics.sig
Revision Date Author Comments
# 25f5f556 12-Nov-2000 Michael Norrish <Michael.Norrish@nicta.com.au>

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

Initial revision