src/HOL/Cardinals/Cardinal_Notations.thy
2014-01-20 blanchet 2014-01-20 rationalized dependencies