added "metis_advisory_simp" option to orient as many equations as possible in Metis the right way (cf. "More SPASS with Isabelle")
/* Title: Pure/package.scala
Module: PIDE
Author: Makarius
Toplevel isabelle package.
*/
package object isabelle extends isabelle.Basic_Library
{
}