session "FCFamilies" = More + 
  options [document = pdf, document_output = "output", document_variants = "document:outline=/proof,/ML"]
  theories [document = false]
  theories
     Combinatorics
     ListNat
  theories
     UnionClosed
  theories
     FamilyImpl
     UnionClosedImpl
  theories
     Frankl
     WeightsShares
     WeightsShares_Frankl
     WeightsShares_FCFamily
     WeightsShares_NotFCFamily
     SomeShareNegative
  theories
     WeightsSharesImpl
     SomeShareNegativeImpl
  theories
     IsomorphicFamilies
     NonIsomorphicFamilies
     NonIsomorphicFamiliesImpl
  theories
     IrreducibleFamilies
     IrreducibleFamiliesImpl
  theories
     Covering
     CoveringImpl
  theories
     LPartitioning
     LPartitioningImpl
     LPartitioningIrreducible
     LPartitioningNonFCsCovered
     LPartitioningNonFCsCoveredImpl
     LPartitioningIrreducibleNonFCsCovered
     LPartitioningIrreducibleNonFCsCoveredImpl
  theories
     FC6_Data
     FCTactics
     FC6_Status
     FC6
  document_files
    "root.tex"
