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?
Makarius
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
