src/HOL/Partial_Function.thy
2010-10-29 krauss 2010-10-29 added rule let_mono
2010-10-29 krauss 2010-10-29 hide_const various constants, in particular to avoid ugly qualifiers in HOLCF
2010-10-23 krauss 2010-10-23 first version of partial_function package