History log of /seL4-l4v-10.1.1/HOL4/examples/misc/wardScript.sml
Revision Date Author Comments
# d1bd7244 26-Mar-2012 Michael Norrish <Michael.Norrish@nicta.com.au>

Polish automation; realise my Knuth-Bendix completion wasn't complete.
# 99321277 18-Mar-2012 Michael Norrish <Michael.Norrish@nicta.com.au>

More coding to find matches inside a list in Martin Ward's example.
# 52b55c90 09-Mar-2012 Michael Norrish <Michael.Norrish@nicta.com.au>

Initial work on solving a cute confluence/normalisation exercise.

Taken from Martin Ward's "Foundations of Maths" course-notes.