History log of /seL4-l4v-10.1.1/HOL4/examples/unification/triangular/nominal/nsubstScript.sml
Revision Date Author Comments
# 0f6feb87 01-Aug-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix examples/unificiation/triangular/nominal
# a2328149 23-Sep-2011 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Adopt ML-style syntax for case expressions and use freed up "||" for bitwise-or. See issue #24.
# c26105ad 14-Apr-2011 Ramana Kumar <ramana.kumar@gmail.com>

New examples: unification algorithms in accumulator-passing style