Re: [isabelle] Modify theorem with equality assumption

On Tue, 7 Apr 2015, Manuel Eberl wrote:

I have to use the repository version because I require some
measure-theoretic theories that are not present in the latest release.

"The" repository version is undefined, until "hg id" is used.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.