src/Pure/package.scala

always transfer thm where attributes are applied -- relevant for internal 'notes' (e.g. via bundle 'includes') in contrast to external 'notes' (cf. Proof_Context.retrieve_thms);

/*  Title:      Pure/package.scala
    Module:     PIDE
    Author:     Makarius

Toplevel isabelle package.
*/

package object isabelle extends isabelle.Basic_Library
{
}