[isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2
Dmitriy Traytel
traytel at inf.ethz.ch
Tue Oct 6 11:42:08 CEST 2015
Previous message (by thread):
[isabelle-dev] AFP/Lifting_Definition_Option
Next message (by thread):
[isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
The title says it all. Dmitriy
Previous message (by thread):
[isabelle-dev] AFP/Lifting_Definition_Option
Next message (by thread):
[isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list