Re: [isabelle] Help



On Tue, 8 Jul 2014, Adamu Sani YAHAYA wrote:

theory Sumlist
imports Datatype  Nat
begin

Side remark: you should always import at least theory "Main", not anything below it like "Datatype" or "Nat" above.


	Makarius




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