[isabelle-dev] Isabelle repository broken

Makarius makarius at sketis.net
Wed Apr 22 16:44:50 CEST 2015

On Mon, 13 Apr 2015, Johannes Hölzl wrote:

> BTW, can the predicate_compiler setup s.t. typedefs are ignored 
> automatically?

Is there anybody who understands that aspect of the predicate compiler?


More information about the isabelle-dev mailing list