History log of /seL4-l4v-master/HOL4/src/0/Subst.sml
Revision Date Author Comments
# 6a81a039 21-May-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove TABs from src

Will also make selftest to check that they aren't introduced
# 0da1be26 01-Nov-2000 Michael Norrish <Michael.Norrish@nicta.com.au>

New Kananaskis kernel.
# 16a3f6e3 13-Oct-1999 Bruno Barras <barras@lix.polytechnique.fr>

Added module implementing polymorphic explicit substitutions