Re: [isabelle] a simplifier question




On 05/06/2015 00:40, noam neer wrote:
imports Main Real NthRoot Transcendental

Always start with Main or Complex_Main (or other theories that build on them). Importing individual subtheories on those two theories can lead to funny effects because important material could be missing.

Tobias

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



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