Re: [isabelle] novice problem



> "could not find theory file for Prelist in dir(s) 
> "/home/dirk/isabelle/Test",".",$ISABELLE_HOME/src/HOL/Library"

It looks like you meant "PreList" but wrote "Prelist".

Tobias





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