1. 04 Aug, 2020 2 commits
  2. 23 Jul, 2020 2 commits
  3. 22 Jul, 2020 2 commits
  4. 21 Jul, 2020 1 commit
  5. 17 Jul, 2020 3 commits
  6. 13 Jul, 2020 1 commit
  7. 09 Jul, 2020 1 commit
  8. 08 Jul, 2020 2 commits
  9. 07 Jul, 2020 2 commits
  10. 05 Jun, 2020 2 commits
  11. 03 Jun, 2020 1 commit
  12. 13 May, 2020 2 commits
  13. 10 May, 2020 4 commits
  14. 06 May, 2020 5 commits
    • Florian Rabe's avatar
      no message · 8b8b815a
      Florian Rabe authored
      8b8b815a
    • Florian Rabe's avatar
      no message · 4b8ed41b
      Florian Rabe authored
      4b8ed41b
    • Florian Rabe's avatar
      no message · ce33ae86
      Florian Rabe authored
      Merge branch 'devel' of gl.mathhub.info:MMT/LATIN2 into devel
      
      # Conflicts:
      #	bin/latin2/quotation/HOL$.class
      #	bin/lf/AntiSymmetry$.class
      #	bin/lf/AntiSymmetry$antisym$.class
      #	bin/lf/AntiSymmetry.class
      #	bin/lf/Applicative$.class
      #	bin/lf/Applicative$composition$.class
      #	bin/lf/Applicative$homomorphism$.class
      #	bin/lf/Applicative$identity$.class
      #	bin/lf/Applicative$interchange$.class
      #	bin/lf/Applicative$pure$.class
      #	bin/lf/Applicative$splat$.class
      #	bin/lf/Applicative.class
      #	bin/lf/Booleans$.class
      #	bin/lf/Booleans$bool$.class
      #	bin/lf/Booleans$bool_underscore_nontrivial$.class
      #	bin/lf/Booleans$bool_underscore_tnd$.class
      #	bin/lf/Booleans$ff$.class
      #	bin/lf/Booleans$if$.class
      #	bin/lf/Booleans$if_underscore_ff$.class
      #	bin/lf/Booleans$if_underscore_tt$.class
      #	bin/lf/Booleans$tt$.class
      #	bin/lf/Booleans.class
      #	bin/lf/Box$.class
      #	bin/lf/Box$box$.class
      #	bin/lf/Box.class
      #	bin/lf/CTTQE$.class
      #	bin/lf/CTTQE$Quotation$.class
      #	bin/lf/CTTQE$abstraction$.class
      #	bin/lf/CTTQE$application$.class
      #	bin/lf/CTTQE$const$.class
      #	bin/lf/CTTQE$eval$.class
      #	bin/lf/CTTQE$quote$.class
      #	bin/lf/CTTQE$var$.class
      #	bin/lf/CTTQE.class
      #	bin/lf/Category$.class
      #	bin/lf/Category$assoc$.class
      #	bin/lf/Category$comp$.class
      #	bin/lf/Category$hom$.class
      #	bin/lf/Category$id$.class
      #	bin/lf/Category$neutLeft$.class
      #	bin/lf/Category$neutRight$.class
      #	bin/lf/Category$obj$.class
      #	bin/lf/Category.class
      #	bin/lf/Choice$.class
      #	bin/lf/Choice$some$.class
      #	bin/lf/Choice$some_underscore_ax$.class
      #	bin/lf/Choice.class
      #	bin/lf/Classical$.class
      #	bin/lf/Classical$classical$.class
      #	bin/lf/Classical.class
      #	bin/lf/ClosedTopology$.class
      #	bin/lf/ClosedTopology$empty_underscore_closed$.class
      #	bin/lf/ClosedTopology$finite_underscore_union$.class
      #	bin/lf/ClosedTopology.class
      #	bin/lf/Closeness$.class
      #	bin/lf/Closeness$X$.class
      #	bin/lf/Closeness$bigger_underscore_close$.class
      #	bin/lf/Closeness$close$.class
      #	bin/lf/Closeness$in_underscore_close$.class
      #	bin/lf/Closeness$transitive$.class
      #	bin/lf/Closeness.class
      #	bin/lf/ClosenessTopology$.class
      #	bin/lf/ClosenessTopology$empty_underscore_union$.class
      #	bin/lf/ClosenessTopology$finite_underscore_union$.class
      #	bin/lf/ClosenessTopology.class
      #	bin/lf/ClosureOperator$.class
      #	bin/lf/ClosureOperator$X$.class
      #	bin/lf/ClosureOperator$closure$.class
      #	bin/lf/ClosureOperator$extensive$.class
      #	bin/lf/ClosureOperator$idempotent$.class
      #	bin/lf/ClosureOperator$monotone$.class
      #	bin/lf/ClosureOperator.class
      #	bin/lf/ClosureSystem$.class
      #	bin/lf/ClosureSystem$CC$.class
      #	bin/lf/ClosureSystem$X$.class
      #	bin/lf/ClosureSystem$full_underscore_closed$.class
      #	bin/lf/ClosureSystem$intersection$.class
      #	bin/lf/ClosureSystem.class
      #	bin/lf/ClosureTopology$.class
      #	bin/lf/ClosureTopology$closure_underscore_empty$.class
      #	bin/lf/ClosureTopology$closure_underscore_union$.class
      #	bin/lf/ClosureTopology.class
      #	bin/lf/Collection$.class
      #	bin/lf/Collection$cons$.class
      #	bin/lf/Collection$singleton$.class
      #	bin/lf/Collection.class
      #	bin/lf/Congruence$.class
      #	bin/lf/Congruence$congT$.class
      #	bin/lf/Congruence.class
      #	bin/lf/Conjunction$.class
      #	bin/lf/Conjunction$and$.class
      #	bin/lf/Conjunction.class
      #	bin/lf/ConjunctionND$.class
      #	bin/lf/ConjunctionND.class
      #	bin/lf/ConjunctionNDE$.class
      #	bin/lf/ConjunctionNDE$andEl$.class
      #	bin/lf/ConjunctionNDE$andEr$.class
      #	bin/lf/ConjunctionNDE.class
      #	bin/lf/ConjunctionNDI$.class
      #	bin/lf/ConjunctionNDI$andI$.class
      #	bin/lf/ConjunctionNDI.class
      #	bin/lf/DRT$.class
      #	bin/lf/DRT$and$.class
      #	bin/lf/DRT$atomic$.class
      #	bin/lf/DRT$capture$.class
      #	bin/lf/DRT$close$.class
      #	bin/lf/DRT$close_underscore_close$.class
      #	bin/lf/DRT$close_underscore_empty$.class
      #	bin/lf/DRT$close_underscore_neg$.class
      #	bin/lf/DRT$close_underscore_pos$.class
      #	bin/lf/DRT$cond$.class
      #	bin/lf/DRT$dimpl$.class
      #	bin/lf/DRT$dneg$.class
      #	bin/lf/DRT$drs$.class
      #	bin/lf/DRT$empty$.class
      #	bin/lf/DRT$id$.class
      #	bin/lf/DRT$idref$.class
      #	bin/lf/DRT$lit$.class
      #	bin/lf/DRT$mequal$.class
      #	bin/lf/DRT$merge$.class
      #	bin/lf/DRT$mode$.class
      #	bin/lf/DRT$neg$.class
      #	bin/lf/DRT$pos$.class
      #	bin/lf/DRT$punion$.class
      #	bin/lf/DRT$refl$.class
      #	bin/lf/DRT$tm$.class
      #	bin/lf/DRT.class
      #	bin/lf/DependentConjunction$.class
      #	bin/lf/DependentConjunction$dand$.class
      #	bin/lf/DependentConjunction.class
      #	bin/lf/DependentConjunctionND$.class
      #	bin/lf/DependentConjunctionND$dandEl$.class
      #	bin/lf/DependentConjunctionND$dandEr$.class
      #	bin/lf/DependentConjunctionND$dandI$.class
      #	bin/lf/DependentConjunctionND.class
      #	bin/lf/DependentDisjunction$.class
      #	bin/lf/DependentDisjunction$dor$.class
      #	bin/lf/DependentDisjunction.class
      #	bin/lf/DependentDisjunctionND$.class
      #	bin/lf/DependentDisjunctionND$dorE$.class
      #	bin/lf/DependentDisjunctionND$dorIl$.class
      #	bin/lf/DependentDisjunctionND$dorIr$.class
      #	bin/lf/DependentDisjunctionND.class
      #	bin/lf/DependentFunctionTypes$.class
      #	bin/lf/DependentFunctionTypes$depfun$.class
      #	bin/lf/DependentFunctionTypes.class
      #	bin/lf/DependentFunctions$.class
      #	bin/lf/DependentFunctions$depapply$.class
      #	bin/lf/DependentFunctions$depbeta$.class
      #	bin/lf/DependentFunctions$deplambda$.class
      #	bin/lf/DependentFunctions.class
      #	bin/lf/DependentFunctionsEta$.class
      #	bin/lf/DependentFunctionsEta$eta$.class
      #	bin/lf/DependentFunctionsEta.class
      #	bin/lf/DependentFunctionsExtensionality$.class
      #	bin/lf/DependentFunctionsExtensionality$exten$.class
      #	bin/lf/DependentFunctionsExtensionality.class
      #	bin/lf/DependentImplication$.class
      #	bin/lf/DependentImplication$dimpl$.class
      #	bin/lf/DependentImplication.class
      #	bin/lf/DependentImplicationND$.class
      #	bin/lf/DependentImplicationND$dimpE$.class
      #	bin/lf/DependentImplicationND$dimpI$.class
      #	bin/lf/DependentImplicationND.class
      #	bin/lf/DependentProductTypes$.class
      #	bin/lf/DependentProductTypes$depprod$.class
      #	bin/lf/DependentProductTypes.class
      #	bin/lf/DependentProducts$.class
      #	bin/lf/DependentProducts$compute1$.class
      #	bin/lf/DependentProducts$deppair$.class
      #	bin/lf/DependentProducts$deppi1$.class
      #	bin/lf/DependentProducts$deppi2$.class
      #	bin/lf/DependentProducts.class
      #	bin/lf/DependentProductsExpand$.class
      #	bin/lf/DependentProductsExpand$expand$.class
      #	bin/lf/DependentProductsExpand.class
      #	bin/lf/DependentProductsExtensionality$.class
      #	bin/lf/DependentProductsExtensionality$exten$.class
      #	bin/lf/DependentProductsExtensionality.class
      #	bin/lf/Description$.class
      #	bin/lf/Description$the$.class
      #	bin/lf/Description$the_underscore_ax$.class
      #	bin/lf/Description.class
      #	bin/lf/Diamond$.class
      #	bin/lf/Diamond$diamond$.class
      #	bin/lf/Diamond.class
      #	bin/lf/Disjunction$.class
      #	bin/lf/Disjunction$or$.class
      #	bin/lf/Disjunction.class
      #	bin/lf/DisjunctionHilbert$.class
      #	bin/lf/DisjunctionHilbert$orE_underscore_ax$.class
      #	bin/lf/DisjunctionHilbert.class
      #	bin/lf/DisjunctionND$.class
      #	bin/lf/DisjunctionND.class
      #	bin/lf/DisjunctionNDE$.class
      #	bin/lf/DisjunctionNDE$orE$.class
      #	bin/lf/DisjunctionNDE.class
      #	bin/lf/DisjunctionNDI$.class
      #	bin/lf/DisjunctionNDI$orIl$.class
      #	bin/lf/DisjunctionNDI$orIr$.class
      #	bin/lf/DisjunctionNDI.class
      #	bin/lf/DynamicLogic$.class
      #	bin/lf/DynamicLogic.class
      #	bin/lf/EndoBand$.class
      #	bin/lf/EndoBand.class
      #	bin/lf/EndoBoundedSemilattice$.class
      #	bin/lf/EndoBoundedSemilattice.class
      #	bin/lf/EndoCommMonoid$.class
      #	bin/lf/EndoCommMonoid.class
      #	bin/lf/EndoCommSemigroup$.class
      #	bin/lf/EndoCommSemigroup.class
      #	bin/lf/EndoCommutative$.class
      #	bin/lf/EndoCommutative$comm$.class
      #	bin/lf/EndoCommutative.class
      #	bin/lf/EndoFunctor$.class
      #	bin/lf/EndoFunctor$applyComp$.class
      #	bin/lf/EndoFunctor$applyFun$.class
      #	bin/lf/EndoFunctor$applyId$.class
      #	bin/lf/EndoFunctor.class
      #	bin/lf/EndoIdempotent$.class
      #	bin/lf/EndoIdempotent$idempotent$.class
      #	bin/lf/EndoIdempotent.class
      #	bin/lf/EndoMagma$.class
      #	bin/lf/EndoMagma$op$.class
      #	bin/lf/EndoMagma.class
      #	bin/lf/EndoMonoid$.class
      #	bin/lf/EndoMonoid.class
      #	bin/lf/EndoNeutral$.class
      #	bin/lf/EndoNeutral$e$.class
      #	bin/lf/EndoNeutral$neutLeft$.class
      #	bin/lf/EndoNeutral$neutRight$.class
      #	bin/lf/EndoNeutral.class
      #	bin/lf/EndoSemigroup$.class
      #	bin/lf/EndoSemigroup$assoc$.class
      #	bin/lf/EndoSemigroup$assoc4$.class
      #	bin/lf/EndoSemigroup$assoc4R$.class
      #	bin/lf/EndoSemigroup$assoc5$.class
      #	bin/lf/EndoSemigroup$assocR$.class
      #	bin/lf/EndoSemigroup.class
      #	bin/lf/EndoSemilattice$.class
      #	bin/lf/EndoSemilattice.class
      #	bin/lf/Equality$.class
      #	bin/lf/Equality$equal$.class
      #	bin/lf/Equality.class
      #	bin/lf/EqualityND$.class
      #	bin/lf/EqualityND$congP$.class
      #	bin/lf/EqualityND$refl$.class
      #	bin/lf/EqualityND.class
      #	bin/lf/EqualityType$.class
      #	bin/lf/EqualityType.class
      #	bin/lf/Equivalence$.class
      #	bin/lf/Equivalence$equiv$.class
      #	bin/lf/Equivalence.class
      #	bin/lf/EquivalenceCongruence$.class
      #	bin/lf/EquivalenceCongruence.class
      #	bin/lf/EquivalenceHilbert$.class
      #	bin/lf/EquivalenceHilbert$equivI_underscore_ax$.class
      #	bin/lf/EquivalenceHilbert.class
      #	bin/lf/EquivalenceND$.class
      #	bin/lf/EquivalenceND.class
      #	bin/lf/EquivalenceNDE$.class
      #	bin/lf/EquivalenceNDE$equivEl$.class
      #	bin/lf/EquivalenceNDE$equivEr$.class
      #	bin/lf/EquivalenceNDE.class
      #	bin/lf/EquivalenceNDI$.class
      #	bin/lf/EquivalenceNDI$equivI$.class
      #	bin/lf/EquivalenceNDI.class
      #	bin/lf/EquivalenceRelation$.class
      #	bin/lf/EquivalenceRelation.class
      #	bin/lf/Example$.class
      #	bin/lf/Example.class
      #	bin/lf/ExistentialQuantification$.class
      #	bin/lf/ExistentialQuantification$exists$.class
      #	bin/lf/ExistentialQuantification.class
      #	bin/lf/ExistentialQuantificationND$.class
      #	bin/lf/ExistentialQuantificationND.class
      #	bin/lf/ExistentialQuantificationNDE$.class
      #	bin/lf/ExistentialQuantificationNDE$existsE$.class
      #	bin/lf/ExistentialQuantificationNDE.class
      #	bin/lf/ExistentialQuantificationNDI$.class
      #	bin/lf/ExistentialQuantificationNDI$existsI$.class
      #	bin/lf/ExistentialQuantificationNDI.class
      #	bin/lf/FOL$.class
      #	bin/lf/FOL.class
      #	bin/lf/FOLEQ$.class
      #	bin/lf/FOLEQ.class
      #	bin/lf/FOLEQDesc$.class
      #	bin/lf/FOLEQDesc.class
      #	bin/lf/FOLEQDescND$.class
      #	bin/lf/FOLEQDescND.class
      #	bin/lf/FOLEQND$.class
      #	bin/lf/FOLEQND.class
      #	bin/lf/FOLND$.class
      #	bin/lf/FOLND.class
      #	bin/lf/Falsity$.class
      #	bin/lf/Falsity$_false$.class
      #	bin/lf/Falsity.class
      #	bin/lf/FalsityND$.class
      #	bin/lf/FalsityND$falseE$.class
      #	bin/lf/FalsityND.class
      #	bin/lf/FiniteSetSpec$.class
      #	bin/lf/FiniteSetSpec.class
      #	bin/lf/FiniteSets$.class
      #	bin/lf/FiniteSets.class
      #	bin/lf/HOL$.class
      #	bin/lf/HOL.class
      #	bin/lf/HOLAndrews$.class
      #	bin/lf/HOLAndrews.class
      #	bin/lf/HOLND$.class
      #	bin/lf/HOLND$eq_underscore_equiv$.class
      #	bin/lf/HOLND$equiv_underscore_eq$.class
      #	bin/lf/HOLND.class
      #	bin/lf/IFOL$.class
      #	bin/lf/IFOL.class
      #	bin/lf/IFOLEQ$.class
      #	bin/lf/IFOLEQ.class
      #	bin/lf/IFOLEQND$.class
      #	bin/lf/IFOLEQND.class
      #	bin/lf/IFOLND$.class
      #	bin/lf/IFOLND.class
      #	bin/lf/IHOL$.class
      #	bin/lf/IHOL.class
      #	bin/lf/IHOLND$.class
      #	bin/lf/IHOLND.class
      #	bin/lf/IPL$.class
      #	bin/lf/IPL.class
      #	bin/lf/IPLND$.class
      #	bin/lf/IPLND$nntnd$.class
      #	bin/lf/IPLND$not_underscore_or_underscore_left$.class
      #	bin/lf/IPLND$not_underscore_or_underscore_right$.class
      #	bin/lf/IPLND.class
      #	bin/lf/ISFOL$.class
      #	bin/lf/ISFOL.class
      #	bin/lf/ISFOLND$.class
      #	bin/lf/ISFOLND.class
      #	bin/lf/Implication$.class
      #	bin/lf/Implication$impl$.class
      #	bin/lf/Implication.class
      #	bin/lf/ImplicationConjunction$.class
      #	bin/lf/ImplicationConjunction.class
      #	bin/lf/ImplicationFalsity$.class
      #	bin/lf/ImplicationFalsity.class
      #	bin/lf/ImplicationHilbert$.class
      #	bin/lf/ImplicationHilbert$K_underscore_ax$.class
      #	bin/lf/ImplicationHilbert$S_underscore_ax$.class
      #	bin/lf/ImplicationHilbert.class
      #	bin/lf/ImplicationND$.class
      #	bin/lf/ImplicationND.class
      #	bin/lf/ImplicationNDE$.class
      #	bin/lf/ImplicationNDE$impE$.class
      #	bin/lf/ImplicationNDE.class
      #	bin/lf/ImplicationNDI$.class
      #	bin/lf/ImplicationNDI$impI$.class
      #	bin/lf/ImplicationNDI.class
      #	bin/lf/InteriorTopology$.class
      #	bin/lf/InteriorTopology$X$.class
      #	bin/lf/InteriorTopology$bin_underscore_inters$.class
      #	bin/lf/InteriorTopology$idempotence$.class
      #	bin/lf/InteriorTopology$int_underscore_extensivity$.class
      #	bin/lf/InteriorTopology$interior$.class
      #	bin/lf/InteriorTopology$preservation$.class
      #	bin/lf/InteriorTopology.class
      #	bin/lf/InternalEndoFunctor$.class
      #	bin/lf/InternalEndoFunctor$fmap$.class
      #	bin/lf/InternalEndoFunctor$fmapApply$.class
      #	bin/lf/InternalEndoFunctor$fmapComp$.class
      #	bin/lf/InternalEndoFunctor$fmapId$.class
      #	bin/lf/InternalEndoFunctor.class
      #	bin/lf/InternalEquality$.class
      #	bin/lf/InternalEquality$equalConstant$.class
      #	bin/lf/InternalEquality.class
      #	bin/lf/InternalLogic$.class
      #	bin/lf/InternalLogic.class
      #	bin/lf/InternalMonad$.class
      #	bin/lf/InternalMonad$bind$.class
      #	bin/lf/InternalMonad$return$.class
      #	bin/lf/InternalMonad.class
      #	bin/lf/InternalPropositions$.class
      #	bin/lf/InternalPropositions$bool$.class
      #	bin/lf/InternalPropositions.class
      #	bin/lf/InternalTypes$.class
      #	bin/lf/InternalTypes$in$.class
      #	bin/lf/InternalTypes.class
      #	bin/lf/KindedTypes$.class
      #	bin/lf/KindedTypes$tf$.class
      #	bin/lf/KindedTypes$tpk$.class
      #	bin/lf/KindedTypes.class
      #	bin/lf/Kinds$.class
      #	bin/lf/Kinds$kd$.class
      #	bin/lf/Kinds.class
      #	bin/lf/ListSpec$.class
      #	bin/lf/ListSpec.class
      #	bin/lf/Lists$.class
      #	bin/lf/Lists.class
      #	bin/lf/Logic$.class
      #	bin/lf/Logic.class
      #	bin/lf/ML$.class
      #	bin/lf/ML.class
      #	bin/lf/MLHilbert$.class
      #	bin/lf/MLHilbert.class
      #	bin/lf/MML$.class
      #	bin/lf/MML.class
      #	bin/lf/MetaLevelEquality$.class
      #	bin/lf/MetaLevelEquality$cong$.class
      #	bin/lf/MetaLevelEquality$equal$.class
      #	bin/lf/MetaLevelEquality$refl$.class
      #	bin/lf/MetaLevelEquality$transport$.class
      #	bin/lf/MetaLevelEquality.class
      #	bin/lf/MetaLevelExistentialQuantification$.class
      #	bin/lf/MetaLevelExistentialQuantification$exists$.class
      #	bin/lf/MetaLevelExistentialQuantification.class
      #	bin/lf/MetaLevelUniversalQuantification$.class
      #	bin/lf/MetaLevelUniversalQuantification$forall$.class
      #	bin/lf/MetaLevelUniversalQuantification.class
      #	bin/lf/MetaLogic$.class
      #	bin/lf/MetaLogic.class
      #	bin/lf/Monad$.class
      #	bin/lf/Monad$Bind$.class
      #	bin/lf/Monad$Return$.class
      #	bin/lf/Monad$assoc$.class
      #	bin/lf/Monad$identLeft$.class
      #	bin/lf/Monad$identRight$.class
      #	bin/lf/Monad.class
      #	bin/lf/MultiBox$.class
      #	bin/lf/MultiBox$box$.class
      #	bin/lf/MultiBox.class
      #	bin/lf/MultiDiamond$.class
      #	bin/lf/MultiDiamond$diamond$.class
      #	bin/lf/MultiDiamond.class
      #	bin/lf/MultiModal$.class
      #	bin/lf/MultiModal$modality$.class
      #	bin/lf/MultiModal.class
      #	bin/lf/MultisetSpec$.class
      #	bin/lf/MultisetSpec.class
      #	bin/lf/Multisets$.class
      #	bin/lf/Multisets.class
      #	bin/lf/Nat$.class
      #	bin/lf/Nat$succ$.class
      #	bin/lf/Nat$zero$.class
      #	bin/lf/Nat.class
      #	bin/lf/Negation$.class
      #	bin/lf/Negation$not$.class
      #	bin/lf/Negation.class
      #	bin/lf/NegationConjunction$.class
      #	bin/lf/NegationConjunction.class
      #	bin/lf/NegationDisjunction$.class
      #	bin/lf/NegationDisjunction.class
      #	bin/lf/NegationFalsity$.class
      #	bin/lf/NegationFalsity.class
      #	bin/lf/NegationFalsityND$.class
      #	bin/lf/NegationFalsityND.class
      #	bin/lf/NegationHilbert$.class
      #	bin/lf/NegationHilbert$notI_underscore_ax$.class
      #	bin/lf/NegationHilbert.class
      #	bin/lf/NegationImplication$.class
      #	bin/lf/NegationImplication.class
      #	bin/lf/NegationND$.class
      #	bin/lf/NegationND.class
      #	bin/lf/NegationNDE$.class
      #	bin/lf/NegationNDE$notE$.class
      #	bin/lf/NegationNDE.class
      #	bin/lf/NegationNDI$.class
      #	bin/lf/NegationNDI$notI$.class
      #	bin/lf/NegationNDI.class
      #	bin/lf/NegationTruth$.class
      #	bin/lf/NegationTruth.class
      #	bin/lf/NegationTruthND$.class
      #	bin/lf/NegationTruthND.class
      #	bin/lf/NeighborhoodTopology$.class
      #	bin/lf/NeighborhoodTopology$NN$.class
      #	bin/lf/NeighborhoodTopology$X$.class
      #	bin/lf/NeighborhoodTopology$inneighborhood$.class
      #	bin/lf/NeighborhoodTopology$intersection_underscore_closed$.class
      #	bin/lf/NeighborhoodTopology$neighborhood$.class
      #	bin/lf/NeighborhoodTopology$nonempty$.class
      #	bin/lf/NeighborhoodTopology$openness$.class
      #	bin/lf/NeighborhoodTopology$superset_underscore_closed$.class
      #	bin/lf/NeighborhoodTopology.class
      #	bin/lf/NonDetProg$.class
      #	bin/lf/NonDetProg$comp$.class
      #	bin/lf/NonDetProg$distrib$.class
      #	bin/lf/NonDetProg$ifte$.class
      #	bin/lf/NonDetProg$iteration$.class
      #	bin/lf/NonDetProg$skip$.class
      #	bin/lf/NonDetProg$test$.class
      #	bin/lf/NonDetProg$until$.class
      #	bin/lf/NonDetProg$while$.class
      #	bin/lf/NonDetProg.class
      #	bin/lf/OneTyped$.class
      #	bin/lf/OneTyped$carrier$.class
      #	bin/lf/OneTyped.class
      #	bin/lf/OpenTopology$.class
      #	bin/lf/OpenTopology$OO$.class
      #	bin/lf/OpenTopology$X$.class
      #	bin/lf/OpenTopology$empty_underscore_open$.class
      #	bin/lf/OpenTopology$finite_underscore_intersection$.class
      #	bin/lf/OpenTopology$full_underscore_open$.class
      #	bin/lf/OpenTopology$union_underscore_open$.class
      #	bin/lf/OpenTopology.class
      #	bin/lf/Order$.class
      #	bin/lf/Order.class
      #	bin/lf/PL$.class
      #	bin/lf/PL.class
      #	bin/lf/PLHilbert$.class
      #	bin/lf/PLHilbert.class
      #	bin/lf/PLModel$.class
      #	bin/lf/PLModel.class
      #	bin/lf/PLND$.class
      #	bin/lf/PLND$dne$.class
      #	bin/lf/PLND$indirect$.class
      #	bin/lf/PLND$tnd$.class
      #	bin/lf/PLND.class
      #	bin/lf/PowerHOLND$.class
      #	bin/lf/PowerHOLND.class
      #	bin/lf/PredicateSubtypes$.class
      #	bin/lf/PredicateSubtypes$in$.class
      #	bin/lf/PredicateSubtypes$predsub$.class
      #	bin/lf/PredicateSubtypes$predsub_underscore_prop$.class
      #	bin/lf/PredicateSubtypes$predsub_underscore_sub$.class
      #	bin/lf/PredicateSubtypes.class
      #	bin/lf/Preorder$.class
      #	bin/lf/Preorder.class
      #	bin/lf/Programs$.class
      #	bin/lf/Programs$prog$.class
      #	bin/lf/Programs.class
      #	bin/lf/ProofIrrelevance$.class
      #	bin/lf/ProofIrrelevance.class
      #	bin/lf/Proofs$.class
      #	bin/lf/Proofs$ded$.class
      #	bin/lf/Proofs$inconsistent$.class
      #	bin/lf/Proofs$inconsistentE$.class
      #	bin/lf/Proofs.class
      #	bin/lf/PropDynamicLogic$.class
      #	bin/lf/PropDynamicLogic.class
      #	bin/lf/PropositionalExtensionality$.class
      #	bin/lf/PropositionalExtensionality$propext$.class
      #	bin/lf/PropositionalExtensionality.class
      #	bin/lf/Propositions$.class
      #	bin/lf/Propositions$prop$.class
      #	bin/lf/Propositions.class
      #	bin/lf/Reflexivity$.class
      #	bin/lf/Reflexivity$refl$.class
      #	bin/lf/Reflexivity.class
      #	bin/lf/Relation$.class
      #	bin/lf/Relation$rel$.class
      #	bin/lf/Relation.class
      #	bin/lf/RelativizedExistentialQuantification$.class
      #	bin/lf/RelativizedExistentialQuantification$rexists$.class
      #	bin/lf/RelativizedExistentialQuantification.class
      #	bin/lf/RelativizedExistentialQuantificationND$.class
      #	bin/lf/RelativizedExistentialQuantificationND$rexistsE$.class
      #	bin/lf/RelativizedExistentialQuantificationND$rexistsI$.class
      #	bin/lf/RelativizedExistentialQuantificationND.class
      #	bin/lf/RelativizedUniversalQuantification$.class
      #	bin/lf/RelativizedUniversalQuantification$rforall$.class
      #	bin/lf/RelativizedUniversalQuantification.class
      #	bin/lf/RelativizedUniversalQuantificationND$.class
      #	bin/lf/RelativizedUniversalQuantificationND$rforallE$.class
      #	bin/lf/RelativizedUniversalQuantificationND$rforallI$.class
      #	bin/lf/RelativizedUniversalQuantificationND.class
      #	bin/lf/SFOL$.class
      #	bin/lf/SFOL.class
      #	bin/lf/SFOLEQ$.class
      #	bin/lf/SFOLEQ$notequal$.class
      #	bin/lf/SFOLEQ.class
      #	bin/lf/SFOLEQND$.class
      #	bin/lf/SFOLEQND.class
      #	bin/lf/SFOLND$.class
      #	bin/lf/SFOLND.class
      #	bin/lf/SMML$.class
      #	bin/lf/SMML.class
      #	bin/lf/SemanticEquality$.class
      #	bin/lf/SemanticEquality$cong$.class
      #	bin/lf/SemanticEquality$congT$.class
      #	bin/lf/SemanticEquality.class
      #	bin/lf/SimpleFunctionTypes$.class
      #	bin/lf/SimpleFunctionTypes$simpfun$.class
      #	bin/lf/SimpleFunctionTypes$test$.class
      #	bin/lf/SimpleFunctionTypes.class
      #	bin/lf/SimpleFunctions$.class
      #	bin/lf/SimpleFunctions$apply1$.class
      #	bin/lf/SimpleFunctions$applyTo$.class
      #	bin/lf/SimpleFunctions$simpapply$.class
      #	bin/lf/SimpleFunctions$simpbeta$.class
      #	bin/lf/SimpleFunctions$simplambda$.class
      #	bin/lf/SimpleFunctions.class
      #	bin/lf/SimpleFunctionsEta$.class
      #	bin/lf/SimpleFunctionsEta$eta$.class
      #	bin/lf/SimpleFunctionsEta.class
      #	bin/lf/SimpleFunctionsExtensionality$.class
      #	bin/lf/SimpleFunctionsExtensionality$exten$.class
      #	bin/lf/SimpleFunctionsExtensionality.class
      #	bin/lf/SimpleProductTypes$.class
      #	bin/lf/SimpleProductTypes$simpprod$.class
      #	bin/lf/SimpleProductTypes.class
      #	bin/lf/SimpleProducts$.class
      #	bin/lf/SimpleProducts$compute1$.class
      #	bin/lf/SimpleProducts$compute2$.class
      #	bin/lf/SimpleProducts$simppair$.class
      #	bin/lf/SimpleProducts$simppi1$.class
      #	bin/lf/SimpleProducts$simppi2$.class
      #	bin/lf/SimpleProducts.class
      #	bin/lf/SimpleProductsExpand$.class
      #	bin/lf/SimpleProductsExpand$expand$.class
      #	bin/lf/SimpleProductsExpand.class
      #	bin/lf/SimpleProductsExtensionality$.class
      #	bin/lf/SimpleProductsExtensionality$exten$.class
      #	bin/lf/SimpleProductsExtensionality.class
      #	bin/lf/SoftDependentFunctionTypes$.class
      #	bin/lf/SoftDependentFunctionTypes$softfun$.class
      #	bin/lf/SoftDependentFunctionTypes.class
      #	bin/lf/SoftDependentProductTypes$.class
      #	bin/lf/SoftDependentProductTypes$softprod$.class
      #	bin/lf/SoftDependentProductTypes.class
      #	bin/lf/SoftTypedDependentFunctions$.class
      #	bin/lf/SoftTypedDependentFunctions$fun_underscore_typing$.class
      #	bin/lf/SoftTypedDependentFunctions.class
      #	bin/lf/SoftTypedDependentProducts$.class
      #	bin/lf/SoftTypedDependentProducts$fun_underscore_typing$.class
      #	bin/lf/SoftTypedDependentProducts.class
      #	bin/lf/SoftTypedEquality$.class
      #	bin/lf/SoftTypedEquality.class
      #	bin/lf/SoftTypedEqualityND$.class
      #	bin/lf/SoftTypedEqualityND.class
      #	bin/lf/SoftTypedFunctions$.class
      #	bin/lf/SoftTypedFunctions$apply$.class
      #	bin/lf/SoftTypedFunctions$beta$.class
      #	bin/lf/SoftTypedFunctions$lambda$.class
      #	bin/lf/SoftTypedFunctions.class
      #	bin/lf/SoftTypedFunctionsEta$.class
      #	bin/lf/SoftTypedFunctionsEta$eta$.class
      #	bin/lf/SoftTypedFunctionsEta.class
      #	bin/lf/SoftTypedLogic$.class
      #	bin/lf/SoftTypedLogic.class
      #	bin/lf/SoftTypedProducts$.class
      #	bin/lf/SoftTypedProducts$compute1$.class
      #	bin/lf/SoftTypedProducts$compute2$.class
      #	bin/lf/SoftTypedProducts$pair$.class
      #	bin/lf/SoftTypedProducts$pi1$.class
      #	bin/lf/SoftTypedProducts$pi2$.class
      #	bin/lf/SoftTypedProducts.class
      #	bin/lf/SoftTypedProductsExpand$.class
      #	bin/lf/SoftTypedProductsExpand$expand$.class
      #	bin/lf/SoftTypedProductsExpand.class
      #	bin/lf/SoftTypedProductsExtensionality$.class
      #	bin/lf/SoftTypedProductsExtensionality$exten$.class
      #	bin/lf/SoftTypedProductsExtensionality.class
      #	bin/lf/SoftTypedSimpleFunctions$.class
      #	bin/lf/SoftTypedSimpleFunctions$fun_underscore_typing$.class
      #	bin/lf/SoftTypedSimpleFunctions.class
      #	bin/lf/SoftTypedSimpleProducts$.class
      #	bin/lf/SoftTypedSimpleProducts$fun_underscore_typing$.class
      #	bin/lf/SoftTypedSimpleProducts.class
      #	bin/lf/SoftTypedTerms$.class
      #	bin/lf/SoftTypedTerms$of$.class
      #	bin/lf/SoftTypedTerms.class
      #	bin/lf/SofttypedFunctionsExtensionality$.class
      #	bin/lf/SofttypedFunctionsExtensionality$eta$.class
      #	bin/lf/SofttypedFunctionsExtensionality.class
      #	bin/lf/Strings$.class
      #	bin/lf/Strings$concat$.class
      #	bin/lf/Strings$string$.class
      #	bin/lf/Strings$test$.class
      #	bin/lf/Strings.class
      #	bin/lf/SubtypeInjections$.class
      #	bin/lf/SubtypeInjections$inject$.class
      #	bin/lf/SubtypeInjections$inject_underscore_refl$.class
      #	bin/lf/SubtypeInjections$inject_underscore_trans$.class
      #	bin/lf/SubtypeInjections.class
      #	bin/lf/Subtyping$.class
      #	bin/lf/Subtyping$subtype$.class
      #	bin/lf/Subtyping.class
      #	bin/lf/Symmetry$.class
      #	bin/lf/Symmetry$sym$.class
      #	bin/lf/Symmetry.class
      #	bin/lf/Terms$.class
      #	bin/lf/Terms$term$.class
      #	bin/lf/Terms.class
      #	bin/lf/Transitivity$.class
      #	bin/lf/Transitivity$trans$.class
      #	bin/lf/Transitivity$trans3$.class
      #	bin/lf/Transitivity$trans4$.class
      #	bin/lf/Transitivity.class
      #	bin/lf/Transport$.class
      #	bin/lf/Transport$congTp$.class
      #	bin/lf/Transport$transport$.class
      #	bin/lf/Transport$transport_underscore_refl$.class
      #	bin/lf/Transport$transport_underscore_trans$.class
      #	bin/lf/Transport.class
      #	bin/lf/Truth$.class
      #	bin/lf/Truth$_true$.class
      #	bin/lf/Truth.class
      #	bin/lf/TruthND$.class
      #	bin/lf/TruthND$trueI$.class
      #	bin/lf/TruthND.class
      #	bin/lf/TypeEquality$.class
      #	bin/lf/TypeEquality.class
      #	bin/lf/TypeOperator$.class
      #	bin/lf/TypeOperator$applyType$.class
      #	bin/lf/TypeOperator.class
      #	bin/lf/TypedChoice$.class
      #	bin/lf/TypedChoice$some$.class
      #	bin/lf/TypedChoice$some_underscore_ax$.class
      #	bin/lf/TypedChoice.class
      #	bin/lf/TypedDescription$.class
      #	bin/lf/TypedDescription$the$.class
      #	bin/lf/TypedDescription$the_underscore_ax$.class
      #	bin/lf/TypedDescription.class
      #	bin/lf/TypedDynamicLogic$.class
      #	bin/lf/TypedDynamicLogic$assign$.class
      #	bin/lf/TypedDynamicLogic$random_underscore_assign$.class
      #	bin/lf/TypedDynamicLogic$retrieve$.class
      #	bin/lf/TypedDynamicLogic$var$.class
      #	bin/lf/TypedDynamicLogic.class
      #	bin/lf/TypedEquality$.class
      #	bin/lf/TypedEquality$equal$.class
      #	bin/lf/TypedEquality.class
      #	bin/lf/TypedEqualityND$.class
      #	bin/lf/TypedEqualityND$congP$.class
      #	bin/lf/TypedEqualityND$congT$.class
      #	bin/lf/TypedEqualityND$refl$.class
      #	bin/lf/TypedEqualityND$sym$.class
      #	bin/lf/TypedEqualityND$trans$.class
      #	bin/lf/TypedEqualityND$trans3$.class
      #	bin/lf/TypedEqualityND$trans4$.class
      #	bin/lf/TypedEqualityND.class
      #	bin/lf/TypedExistentialQuantification$.class
      #	bin/lf/TypedExistentialQuantification$exists$.class
      #	bin/lf/TypedExistentialQuantification.class
      #	bin/lf/TypedExistentialQuantificationND$.class
      #	bin/lf/TypedExistentialQuantificationND$existsE$.class
      #	bin/lf/TypedExistentialQuantificationND$existsI$.class
      #	bin/lf/TypedExistentialQuantificationND.class
      #	bin/lf/TypedLogic$.class
      #	bin/lf/TypedLogic.class
      #	bin/lf/TypedTerms$.class
      #	bin/lf/TypedTerms$tm$.class
      #	bin/lf/TypedTerms.class
      #	bin/lf/TypedUniqueExistentialQuantification$.class
      #	bin/lf/TypedUniqueExistentialQuantification$existsUnique$.class
      #	bin/lf/TypedUniqueExistentialQuantification.class
      #	bin/lf/TypedUniqueExistentialQuantificationND$.class
      #	bin/lf/TypedUniqueExistentialQuantificationND$existsUniqueE$.class
      #	bin/lf/TypedUniqueExistentialQuantificationND$existsUniqueI$.class
      #	bin/lf/TypedUniqueExistentialQuantificationND.class
      #	bin/lf/TypedUniversalQuantification$.class
      #	bin/lf/TypedUniversalQuantification$forall$.class
      #	bin/lf/TypedUniversalQuantification.class
      #	bin/lf/TypedUniversalQuantificationND$.class
      #	bin/lf/TypedUniversalQuantificationND$forallE$.class
      #	bin/lf/TypedUniversalQuantificationND$forallI$.class
      #	bin/lf/TypedUniversalQuantificationND.class
      #	bin/lf/Types$.class
      #	bin/lf/Types$tp$.class
      #	bin/lf/Types.class
      #	bin/lf/UndefinedSoftTypedTerms$.class
      #	bin/lf/UndefinedSoftTypedTerms$defined$.class
      #	bin/lf/UndefinedSoftTypedTerms.class
      #	bin/lf/UndefinedTerms$.class
      #	bin/lf/UndefinedTerms$defined$.class
      #	bin/lf/UndefinedTerms$strict_underscore_equal$.class
      #	bin/lf/UndefinedTerms.class
      #	bin/lf/UndefinedTypedTerms$.class
      #	bin/lf/UndefinedTypedTerms$defined$.class
      #	bin/lf/UndefinedTypedTerms$strict_underscore_equal$.class
      #	bin/lf/UndefinedTypedTerms.class
      #	bin/lf/UniqueExistentialQuantification$.class
      #	bin/lf/UniqueExistentialQuantification$existsUnique$.class
      #	bin/lf/UniqueExistentialQuantification.class
      #	bin/lf/UniqueExistentialQuantificationND$.class
      #	bin/lf/UniqueExistentialQuantificationND$existsUniqueE$.class
      #	bin/lf/UniqueExistentialQuantificationND$existsUniqueI$.class
      #	bin/lf/UniqueExistentialQuantificationND.class
      #	bin/lf/UniversalQuantification$.class
      #	bin/lf/UniversalQuantification$forall$.class
      #	bin/lf/UniversalQuantification.class
      #	bin/lf/UniversalQuantificationND$.class
      #	bin/lf/UniversalQuantificationND.class
      #	bin/lf/UniversalQuantificationNDE$.class
      #	bin/lf/UniversalQuantificationNDE$forallE$.class
      #	bin/lf/UniversalQuantificationNDE.class
      #	bin/lf/UniversalQuantificationNDI$.class
      #	bin/lf/UniversalQuantificationNDI$forallI$.class
      #	bin/lf/UniversalQuantificationNDI.class
      #	bin/lf/UntypedLogic$.class
      #	bin/lf/UntypedLogic.class
      #	bin/lf/algebraic/AbsorbingElement$.class
      #	bin/lf/algebraic/AbsorbingElement.class
      #	bin/lf/algebraic/Absorptive$.class
      #	bin/lf/algebraic/Absorptive.class
      #	bin/lf/algebraic/AntiSymmetry$.class
      #	bin/lf/algebraic/AntiSymmetry$antisym$.class
      #	bin/lf/algebraic/AntiSymmetry.class
      #	bin/lf/algebraic/Band$.class
      #	bin/lf/algebraic/Band.class
      #	bin/lf/algebraic/BoundedSemilattice$.class
      #	bin/lf/algebraic/BoundedSemilattice.class
      #	bin/lf/algebraic/CommIdempotent$.class
      #	bin/lf/algebraic/CommIdempotent.class
      #	bin/lf/algebraic/CommMonoid$.class
      #	bin/lf/algebraic/CommMonoid.class
      #	bin/lf/algebraic/CommSemigroup$.class
      #	bin/lf/algebraic/CommSemigroup.class
      #	bin/lf/algebraic/Commutative$.class
      #	bin/lf/algebraic/Commutative$comm$.class
      #	bin/lf/algebraic/Commutative$comm_underscore_ax$.class
      #	bin/lf/algebraic/Commutative.class
      #	bin/lf/algebraic/EquivalenceRelation$.class
      #	bin/lf/algebraic/EquivalenceRelation.class
      #	bin/lf/algebraic/FirstNonNeutral$.class
      #	bin/lf/algebraic/FirstNonNeutral$firstNonNeutral$.class
      #	bin/lf/algebraic/FirstNonNeutral.class
      #	bin/lf/algebraic/Idempotent$.class
      #	bin/lf/algebraic/Idempotent$idem$.class
      #	bin/lf/algebraic/Idempotent$idem_underscore_ax$.class
      #	bin/lf/algebraic/Idempotent.class
      #	bin/lf/algebraic/IdempotentMonoid$.class
      #	bin/lf/algebraic/IdempotentMonoid.class
      #	bin/lf/algebraic/Involutory$.class
      #	bin/lf/algebraic/Involutory$inverse_underscore_ident$.class
      #	bin/lf/algebraic/Involutory$inverse_underscore_refl$.class
      #	bin/lf/algebraic/Involutory$involutory$.class
      #	bin/lf/algebraic/Involutory.class
      #	bin/lf/algebraic/LastNonNeutral$.class
      #	bin/lf/algebraic/LastNonNeutral$lastNonNeutral$.class
      #	bin/lf/algebraic/LastNonNeutral.class
      #	bin/lf/algebraic/LeftAbsorptive$.class
      #	bin/lf/algebraic/LeftAbsorptive$absL$.class
      #	bin/lf/algebraic/LeftAbsorptive$absorbL$.class
      #	bin/lf/algebraic/LeftAbsorptive.class
      #	bin/lf/algebraic/LeftCommutative$.class
      #	bin/lf/algebraic/LeftCommutative$rightnormal$.class
      #	bin/lf/algebraic/LeftCommutative.class
      #	bin/lf/algebraic/LeftNormal$.class
      #	bin/lf/algebraic/LeftNormal$leftregular1$.class
      #	bin/lf/algebraic/LeftNormal.class
      #	bin/lf/algebraic/LeftRegular$.class
      #	bin/lf/algebraic/LeftRegular$leftregular$.class
      #	bin/lf/algebraic/LeftRegular.class
      #	bin/lf/algebraic/LeftUnital$.class
      #	bin/lf/algebraic/LeftUnital$neutL$.class
      #	bin/lf/algebraic/LeftUnital$neutralL$.class
      #	bin/lf/algebraic/LeftUnital.class
      #	bin/lf/algebraic/LeftZero$.class
      #	bin/lf/algebraic/LeftZero.class
      #	bin/lf/algebraic/Magma$.class
      #	bin/lf/algebraic/Magma$op$.class
      #	bin/lf/algebraic/Magma.class
      #	bin/lf/algebraic/MagmaHom$.class
      #	bin/lf/algebraic/MagmaHom$op$.class
      #	bin/lf/algebraic/MagmaHom.class
      #	bin/lf/algebraic/Monoid$.class
      #	bin/lf/algebraic/Monoid$inverse$.class
      #	bin/lf/algebraic/Monoid$inverse_underscore_neutral$.class
      #	bin/lf/algebraic/Monoid$inverse_underscore_op$.class
      #	bin/lf/algebraic/Monoid$inverse_underscore_sym$.class
      #	bin/lf/algebraic/Monoid$inverse_underscore_unique$.class
      #	bin/lf/algebraic/Monoid$involution_underscore_inverse$.class
      #	bin/lf/algebraic/Monoid.class
      #	bin/lf/algebraic/Normal$.class
      #	bin/lf/algebraic/Normal$normal$.class
      #	bin/lf/algebraic/Normal.class
      #	bin/lf/algebraic/Order$.class
      #	bin/lf/algebraic/Order.class
      #	bin/lf/algebraic/Pointed$.class
      #	bin/lf/algebraic/Pointed$elem$.class
      #	bin/lf/algebraic/Pointed.class
      #	bin/lf/algebraic/PowerAssociative$.class
      #	bin/lf/algebraic/PowerAssociative$power_underscore_assoc$.class
      #	bin/lf/algebraic/PowerAssociative.class
      #	bin/lf/algebraic/Powers$.class
      #	bin/lf/algebraic/Powers$power$.class
      #	bin/lf/algebraic/Powers$power_underscore_succ$.class
      #	bin/lf/algebraic/Powers$power_underscore_zero$.class
      #	bin/lf/algebraic/Powers.class
      #	bin/lf/algebraic/Preorder$.class
      #	bin/lf/algebraic/Preorder.class
      #	bin/lf/algebraic/Rectangular$.class
      #	bin/lf/algebraic/Rectangular$rectangular$.class
      #	bin/lf/algebraic/Rectangular$rectangularAny$.class
      #	bin/lf/algebraic/Rectangular.class
      #	bin/lf/algebraic/Reflexivity$.class
      #	bin/lf/algebraic/Reflexivity.class
      #	bin/lf/algebraic/Regular$.class
      #	bin/lf/algebraic/Regular$regular$.class
      #	bin/lf/algebraic/Regular.class
      #	bin/lf/algebraic/Relation$.class
      #	bin/lf/algebraic/Relation$rel$.class
      #	bin/lf/algebraic/Relation.class
      #	bin/lf/algebraic/RightAbsorptive$.class
      #	bin/lf/algebraic/RightAbsorptive$absR$.class
      #	bin/lf/algebraic/RightAbsorptive$absorbR$.class
      #	bin/lf/algebraic/RightAbsorptive.class
      #	bin/lf/algebraic/RightCommutative$.class
      #	bin/lf/algebraic/RightCommutative$leftnormal$.class
      #	bin/lf/algebraic/RightCommutative.class
      #	bin/lf/algebraic/RightNormal$.class
      #	bin/lf/algebraic/RightNormal$rightregular1$.class
      #	bin/lf/algebraic/RightNormal.class
      #	bin/lf/algebraic/RightRegular$.class
      #	bin/lf/algebraic/RightRegular$rightregular$.class
      #	bin/lf/algebraic/RightRegular.class
      #	bin/lf/algebraic/RightUnital$.class
      #	bin/lf/algebraic/RightUnital$neutR$.class
      #	bin/lf/algebraic/RightUnital$neutralR$.class
      #	bin/lf/algebraic/RightUnital.class
      #	bin/lf/algebraic/RightZero$.class
      #	bin/lf/algebraic/RightZero.class
      #	bin/lf/algebraic/Semigroup$.class
      #	bin/lf/algebraic/Semigroup$assoc$.class
      #	bin/lf/algebraic/Semigroup$assoc4$.class
      #	bin/lf/algebraic/Semigroup$assoc4R$.class
      #	bin/lf/algebraic/Semigroup$assoc5$.class
      #	bin/lf/algebraic/Semigroup$assocR$.class
      #	bin/lf/algebraic/Semigroup$assoc_underscore_ax$.class
      #	bin/lf/algebraic/Semigroup.class
      #	bin/lf/algebraic/Semilattice$.class
      #	bin/lf/algebraic/Semilattice.class
      #	bin/lf/algebraic/SetHom$.class
      #	bin/lf/algebraic/SetHom$U$.class
      #	bin/lf/algebraic/SetHom.class
      #	bin/lf/algebraic/SubMagma$.class
      #	bin/lf/algebraic/SubMagma$op$.class
      #	bin/lf/algebraic/SubMagma.class
      #	bin/lf/algebraic/SubSet$.class
      #	bin/lf/algebraic/SubSet$universe$.class
      #	bin/lf/algebraic/SubSet.class
      #	bin/lf/algebraic/Symmetry$.class
      #	bin/lf/algebraic/Symmetry.class
      #	bin/lf/algebraic/Transitivity$.class
      #	bin/lf/algebraic/Transitivity.class
      #	bin/lf/algebraic/UnitElement$.class
      #	bin/lf/algebraic/UnitElement$involution$.class
      #	bin/lf/algebraic/UnitElement.class
      #	bin/lf/algebraic/Unital$.class
      #	bin/lf/algebraic/Unital.class
      #	bin/lf/algebraic/_Set$.class
      #	bin/lf/algebraic/_Set$U$.class
      #	bin/lf/algebraic/_Set$universe$.class
      #	bin/lf/algebraic/_Set.class
      #	bin/lf/kripkemodels/KripkeFrame$.class
      #	bin/lf/kripkemodels/KripkeFrame$accessible$.class
      #	bin/lf/kripkemodels/KripkeFrame.class
      #	bin/lf/kripkemodels/KripkeModel$.class
      #	bin/lf/kripkemodels/KripkeModel.class
      #	bin/lf/kripkemodels/State$.class
      #	bin/lf/kripkemodels/State$cell$.class
      #	bin/lf/kripkemodels/State$extends$.class
      #	bin/lf/kripkemodels/State$state$.class
      #	bin/lf/kripkemodels/State$trclos$.class
      #	bin/lf/kripkemodels/State$trclose_underscore_extend$.class
      #	bin/lf/kripkemodels/State$trclose_underscore_refl$.class
      #	bin/lf/kripkemodels/State$trclose_underscore_trans$.class
      #	bin/lf/kripkemodels/State.class
      #	bin/lf/kripkemodels/Worlds$.class
      #	bin/lf/kripkemodels/Worlds$lift0$.class
      #	bin/lf/kripkemodels/Worlds$lift1$.class
      #	bin/lf/kripkemodels/Worlds$lift2$.class
      #	bin/lf/kripkemodels/Worlds$liftPred2$.class
      #	bin/lf/kripkemodels/Worlds$liftbind$.class
      #	bin/lf/kripkemodels/Worlds$world$.class
      #	bin/lf/kripkemodels/Worlds.class
      #	bin/lf/powertypes/BigIntersection$.class
      #	bin/lf/powertypes/BigIntersection$biginter$.class
      #	bin/lf/powertypes/BigIntersection$biginterE$.class
      #	bin/lf/powertypes/BigIntersection$biginterI$.class
      #	bin/lf/powertypes/BigIntersection.class
      #	bin/lf/powertypes/BigUnion$.class
      #	bin/lf/powertypes/BigUnion$bigunion$.class
      #	bin/lf/powertypes/BigUnion$bigunionE$.class
      #	bin/lf/powertypes/BigUnion$bigunionI$.class
      #	bin/lf/powertypes/BigUnion.class
      #	bin/lf/powertypes/Complement$.class
      #	bin/lf/powertypes/Complement$compl$.class
      #	bin/lf/powertypes/Complement$complE$.class
      #	bin/lf/powertypes/Complement$complI$.class
      #	bin/lf/powertypes/Complement.class
      #	bin/lf/powertypes/ComplementRules$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_compl$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_empty$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_full$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_inter$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_not$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_tnd$.class
      #	bin/lf/powertypes/ComplementRules$compl_underscore_union$.class
      #	bin/lf/powertypes/ComplementRules$inter_underscore_compl$.class
      #	bin/lf/powertypes/ComplementRules$union_underscore_compl$.class
      #	bin/lf/powertypes/ComplementRules.class
      #	bin/lf/powertypes/CongruenceTypes$.class
      #	bin/lf/powertypes/CongruenceTypes$Cong$.class
      #	bin/lf/powertypes/CongruenceTypes$compute$.class
      #	bin/lf/powertypes/CongruenceTypes$cong_underscore_refl$.class
      #	bin/lf/powertypes/CongruenceTypes$cong_underscore_sym$.class
      #	bin/lf/powertypes/CongruenceTypes$cong_underscore_trans$.class
      #	bin/lf/powertypes/CongruenceTypes$expand$.class
      #	bin/lf/powertypes/CongruenceTypes$is_underscore_cong$.class
      #	bin/lf/powertypes/CongruenceTypes.class
      #	bin/lf/powertypes/EmptySet$.class
      #	bin/lf/powertypes/EmptySet$empty$.class
      #	bin/lf/powertypes/EmptySet$emptyE$.class
      #	bin/lf/powertypes/EmptySet.class
      #	bin/lf/powertypes/Extensionality$.class
      #	bin/lf/powertypes/Extensionality$eq_underscore_in_underscore_left$.class
      #	bin/lf/powertypes/Extensionality$eq_underscore_in_underscore_right$.class
      #	bin/lf/powertypes/Extensionality$extensionality$.class
      #	bin/lf/powertypes/Extensionality$extensionalityI$.class
      #	bin/lf/powertypes/Extensionality.class
      #	bin/lf/powertypes/FiniteSets$.class
      #	bin/lf/powertypes/FiniteSets$singleton$.class
      #	bin/lf/powertypes/FiniteSets$singletonE$.class
      #	bin/lf/powertypes/FiniteSets$singletonI$.class
      #	bin/lf/powertypes/FiniteSets$uopair$.class
      #	bin/lf/powertypes/FiniteSets$uopairE$.class
      #	bin/lf/powertypes/FiniteSets$uopairI_underscore_left$.class
      #	bin/lf/powertypes/FiniteSets$uopairI_underscore_right$.class
      #	bin/lf/powertypes/FiniteSets.class
      #	bin/lf/powertypes/FullSet$.class
      #	bin/lf/powertypes/FullSet$full$.class
      #	bin/lf/powertypes/FullSet$fullI$.class
      #	bin/lf/powertypes/FullSet.class
      #	bin/lf/powertypes/Intersection$.class
      #	bin/lf/powertypes/Intersection$inter$.class
      #	bin/lf/powertypes/Intersection$interEl$.class
      #	bin/lf/powertypes/Intersection$interEr$.class
      #	bin/lf/powertypes/Intersection$interI$.class
      #	bin/lf/powertypes/Intersection.class
      #	bin/lf/powertypes/Lattice$.class
      #	bin/lf/powertypes/Lattice.class
      #	bin/lf/powertypes/Map$.class
      #	bin/lf/powertypes/Map$map$.class
      #	bin/lf/powertypes/Map$mapE$.class
      #	bin/lf/powertypes/Map$mapI$.class
      #	bin/lf/powertypes/Map.class
      #	bin/lf/powertypes/PowerSFOL$.class
      #	bin/lf/powertypes/PowerSFOL.class
      #	bin/lf/powertypes/PowerTypes$.class
      #	bin/lf/powertypes/PowerTypes$compute$.class
      #	bin/lf/powertypes/PowerTypes$expand$.class
      #	bin/lf/powertypes/PowerTypes$filter$.class
      #	bin/lf/powertypes/PowerTypes$filterE$.class
      #	bin/lf/powertypes/PowerTypes$filterI$.class
      #	bin/lf/powertypes/PowerTypes$in$.class
      #	bin/lf/powertypes/PowerTypes$power$.class
      #	bin/lf/powertypes/PowerTypes.class
      #	bin/lf/powertypes/Subset$.class
      #	bin/lf/powertypes/Subset$subset$.class
      #	bin/lf/powertypes/Subset$subsetE$.class
      #	bin/lf/powertypes/Subset$subsetI$.class
      #	bin/lf/powertypes/Subset$subset_underscore_antisym$.class
      #	bin/lf/powertypes/Subset$subset_underscore_refl$.class
      #	bin/lf/powertypes/Subset$subset_underscore_trans$.class
      #	bin/lf/powertypes/Subset.class
      #	bin/lf/powertypes/SubsetRules$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_biginter$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_biginter_underscore_glb$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_bigunion$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_bigunion_underscore_lub$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_compl$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_empty$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_full$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_inter_underscore_glb$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_inter_underscore_left$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_inter_underscore_right$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_union_underscore_left$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_union_underscore_lub$.class
      #	bin/lf/powertypes/SubsetRules$subset_underscore_union_underscore_right$.class
      #	bin/lf/powertypes/SubsetRules.class
      #	bin/lf/powertypes/Union$.class
      #	bin/lf/powertypes/Union$union$.class
      #	bin/lf/powertypes/Union$unionE$.class
      #	bin/lf/powertypes/Union$unionIl$.class
      #	bin/lf/powertypes/Union$unionIr$.class
      #	bin/lf/powertypes/Union.class
      #	build-omdoc.msl
      ce33ae86
    • Florian Rabe's avatar
      no message · 182aad40
      Florian Rabe authored
      182aad40
    • Florian Rabe's avatar
      no message · d2236def
      Florian Rabe authored
      d2236def
  15. 21 Feb, 2020 2 commits
  16. 27 Jan, 2020 1 commit
  17. 26 Jan, 2020 7 commits