[isabelle-dev] Relations vs. Predicates

[Florian Haftmann]

Hi Christian,

> Sorry, I'm not familiar with the "developer" workflow. I do have a
> cloned hg repo of Isabelle (from
> http://isabelle.in.tum.de/repos/isabelle), but I don't see an
> IsaMakefile (which would be required for "isabelle make all"). Where is
> this IsaMakefile located?

it is »isabelle makeall all« (sorry, this was my fault).

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de