src/HOL/Library/Function_Division.thy
2012-07-05 haftmann 2012-07-05 Stub theory for division on functionals.