Re: [isabelle] "isabelle usedir" --> "isabelle build" +



On 07/16/2013 10:40 AM, Andreas Lochbihler wrote:
Since the theory Complex_Main is part of the HOL session, you can use the HOL session as the parent:

session Isac = HOL +
theories Build_Isac

thank you !
Walther

expertise induces simplicity ;-))




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