session "IsarMathLib" = "ZF" +
  options [document = pdf, document_output = "output",document_variants="document:outline=/proof"]
  theories [document = false]
    MMI_Complex_ZF
    MMI_Complex_ZF_1
    MMI_Complex_ZF_2
  theories
    Introduction
    Fol1
    ZF1 
    Nat_ZF_IML
    Order_ZF
    Order_ZF_1
    Order_ZF_1a
    NatOrder_ZF
    func1
    func_ZF
    func_ZF_1
    Generalization_ZF
    NatGenIntEx_ZF
    Finite_ZF
    Finite1
    Finite_ZF_1
    FinOrd_ZF
    EquivClass1
    FiniteSeq_ZF
    InductiveSeq_ZF
    Fold_ZF
    Partitions_ZF
    Semigroup_ZF
    CommutativeSemigroup_ZF
    Group_ZF
    Group_ZF_1
    Group_ZF_1b
    AbelianGroup_ZF
    Group_ZF_2
    Group_ZF_3
    DirectProduct_ZF
    OrderedGroup_ZF
    OrderedGroup_ZF_1
    Ring_ZF
    Ring_ZF_1
    OrderedRing_ZF
    Field_ZF
    OrderedField_ZF
    Int_ZF_IML
    Int_ZF_1
    IntDiv_ZF_IML
    Int_ZF_2
    Int_ZF_3
    Real_ZF
    Real_ZF_1
    Complex_ZF
    Topology_ZF
    Topology_ZF_1
    Topology_ZF_1b
    Topology_ZF_2
    Topology_ZF_3
    Topology_ZF_4
    Topology_ZF_examples
    Topology_ZF_examples_1
    Topology_ZF_properties
    Topology_ZF_5
    Topology_ZF_6
    Topology_ZF_7
    TopologicalGroup_ZF
    MMI_prelude
    Metamath_interface
    MMI_examples
    Metamath_sampler

  files 
    "document/root.tex"
    "document/root.bib"
