[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
Previous message (by thread):
[isabelle-dev] use term patterns, was: 'produce term patterns'
Next message (by thread):
[isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Previous message (by thread):
[isabelle-dev] use term patterns, was: 'produce term patterns'
Next message (by thread):
[isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list