History log of /seL4-l4v-master/isabelle/src/Pure/more_unify.ML
Revision Date Author Comments
# c67d3872 05-Aug-2016 wenzelm <none@none>

tuned;


# 54f4e638 23-Mar-2015 wenzelm <none@none>

local fixes may depend on goal params;


# 0bca046a 21-Nov-2014 wenzelm <none@none>

removed some add-ons from modules that are relevant for the inference kernel;