Re: [isabelle] sledgehammer in RC4

On Sat, 9 Nov 2013, Randy Pollack wrote:

BTW, I fixed  Z3_NON_COMMERCIAL= yes, and did not get the ususal
Isabelle warning saying to do that.

What have I forgotten?

I don't understand the "fixed Z3_NON_COMMERCIAL" part. What was broken here?


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