| #
55cb5e0c |
|
29-Jul-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix unification theories in light of pat_assum rename
|
| #
190ccd60 |
|
02-Feb-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
F.o. unification uses U+275C (❜) for subst_APPLY
Previously it used '' (double ASCII apostrophe) and this clashed with a
use in wordsTheory (which had it at a different fixity).
|
| #
b624d5b8 |
|
08-May-2013 |
Ramana Kumar <ramana.kumar@gmail.com> |
add a note about using walk* rather than apply o collapse for triangular substs
|
| #
cccd6178 |
|
08-May-2013 |
Ramana Kumar <ramana.kumar@gmail.com> |
prove collapse preserves wfs (in examples/unification/triangular)
|
| #
c26105ad |
|
14-Apr-2011 |
Ramana Kumar <ramana.kumar@gmail.com> |
New examples: unification algorithms in accumulator-passing style
|