History log of /seL4-l4v-master/isabelle/src/Pure/soft_type_system.ML
Revision Date Author Comments
# 7ef7a774 16-Jul-2019 wenzelm <none@none>

support for a soft-type system within the Isabelle logical framework;