[isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff

Tobias Nipkow nipkow at in.tum.de
Tue Sep 7 12:06:29 CEST 2010





    


More information about the isabelle-dev mailing list