Re: [isabelle] Isabelle2015-RC3: Spurious "Duplicate rewrite rule" warnings during Sledgehammer invocation.



Am 08.05.15 um 14:38 schrieb Makarius:
  OS platform?
OS X 10.10
  Window manager?
the "default"
Java/Swing Look-and-feel?
the "default"




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