ROOT « lem « lib « isabelle « snapshots - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/snapshots/isabelle/lib/lem/ROOT

blob: 443687f998f2565bf1a7ef74eb337766a7f6a2ca (plain)

session LEM = "HOL-Word" +
  description {*
    HOL + LEM specific theories
  *}
  theories Lem_pervasives Lem_pervasives_extra