History log of /seL4-l4v-10.1.1/HOL4/src/0/Subst.sig
Revision Date Author Comments
# 32bf1e49 02-Feb-2015 Piotr Trojanek <piotr.trojanek@gmail.com>

extra semicolons removed from (some) .sig files
# 08d7a558 23-Oct-2014 Piotr Trojanek <piotr.trojanek@gmail.com>

trailing newlines in *.{sml,sig} files from src/ removed

Trailing newlines from SML files in src/ were rendered in HTML documentation.
# 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