1. 22 Sep, 2020 2 commits
  2. 21 Sep, 2020 1 commit
  3. 03 Sep, 2020 2 commits
  4. 28 Jul, 2020 2 commits
  5. 07 Jul, 2020 1 commit
  6. 02 Jun, 2020 1 commit
  7. 20 May, 2020 2 commits
    • Florian Rabe's avatar
      no message · b7b48874
      Florian Rabe authored
      Merge branch 'devel' of gl.mathhub.info:MMT/examples into devel
      
      # Conflicts:
      #	content/http..cds.omdoc.org/examples/$Band.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Continuation$Monad.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Declarative$Proofs.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Declarative_$P$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Declarative_$S$F$O$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Delimited$Continuations.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$E$F$F.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$F$O$L$E$Q$Nat$Ded.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$F$O$L$E$Q.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$F$O$L$Nat$Ded.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$F$O$L$Patterns.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$F$O$L$Proofs.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$F$O$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Flexary$Connectives.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Flexary$Quantifiers.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$H$O$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Hofstadter.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$I$T$P.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Idempotent.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Inductive$Tests.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Inductively$Defined$Types.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Int$Literals.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Int$Rules.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Int.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$L$F$X$I.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Commutative2$Semilattice.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Normal2$Left$Regular.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Normal2$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Regular.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Regular2$Right$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Left$Zero.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$List.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Lists.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Logic.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Monads.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Nat$Literals.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Nat$Minus.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Nat$Rules.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Nat.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Neutral.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Normal2$Left$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Normal2$Right$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$P$L$Nat$Ded.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$P$L$Proofs.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Prog$Lang.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Proof$Irrelevance.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Rectangular.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Regular.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Regular2$Left$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Regular2$Right$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Commutative2$Semilattice.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Normal2$Normal.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Normal2$Right$Regular.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Regular.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Regular2$Left$Commutative.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Right$Zero.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Rules.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$S$F$O$L$E$Q$Nat$Ded.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$S$F$O$L$E$Q.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$S$F$O$L$Nat$Ded.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$S$F$O$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Semigroup.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Semilattice.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Sums.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Test.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Topological$Argumentation$Theory.omdoc.xz
      #	content/http..cds.omdoc.org/examples/$Vectors.omdoc.xz
      #	content/http..cds.omdoc.org/examples/del$Mon.omdoc.xz
      #	content/http..cds.omdoc.org/examples/ijcar/$D$H$O$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/linear/$Contraction.omdoc.xz
      #	content/http..cds.omdoc.org/examples/linear/$Exchange.omdoc.xz
      #	content/http..cds.omdoc.org/examples/linear/$Resource$Semantics.omdoc.xz
      #	content/http..cds.omdoc.org/examples/linear/$Weakening.omdoc.xz
      #	content/http..cds.omdoc.org/examples/linear/$Worlds.omdoc.xz
      #	content/http..cds.omdoc.org/examples/programs/$Operational$Semantics.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Abelian$Group.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Abelian.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Classical$S$F$O$L.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Group.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Monoid.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Nat$Ded.omdoc.xz
      #	content/http..cds.omdoc.org/examples/tutorial/$Ring.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Cooking$Unit.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Derived$Units.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Dimensions.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Prefixes.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Quantities.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Temperature$Units.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Time$Units.omdoc.xz
      #	content/http..cds.omdoc.org/physics/$Units.omdoc.xz
      #	content/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$Equality.omdoc.xz
      #	content/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$Eta.omdoc.xz
      #	content/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$Extensionality.omdoc.xz
      #	content/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$Monad$Plus.omdoc.xz
      #	content/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$S$T$T.omdoc.xz
      #	content/http..hku.hk/PL/$S$E$D$E$L.omdoc.xz
      #	errors/mmt-omdoc/IFIP21_tutorial.mmt.err
      #	errors/mmt-omdoc/bands.mmt.err
      #	narration/induction/lfxi.omdoc
      #	narration/literals.omdoc
      #	narration/logic/itp.omdoc
      #	narration/logic/pl.omdoc
      #	narration/program.omdoc
      #	relational/http..cds.omdoc.org/examples/$Band.rel
      #	relational/http..cds.omdoc.org/examples/$Continuation$Monad.rel
      #	relational/http..cds.omdoc.org/examples/$Declarative_$P$L.rel
      #	relational/http..cds.omdoc.org/examples/$Declarative_$S$F$O$L.rel
      #	relational/http..cds.omdoc.org/examples/$F$O$L$E$Q$Nat$Ded.rel
      #	relational/http..cds.omdoc.org/examples/$F$O$L$E$Q.rel
      #	relational/http..cds.omdoc.org/examples/$F$O$L$Nat$Ded.rel
      #	relational/http..cds.omdoc.org/examples/$F$O$L$Patterns.rel
      #	relational/http..cds.omdoc.org/examples/$F$O$L$Proofs.rel
      #	relational/http..cds.omdoc.org/examples/$Flexary$Connectives.rel
      #	relational/http..cds.omdoc.org/examples/$Flexary$Quantifiers.rel
      #	relational/http..cds.omdoc.org/examples/$Hofstadter.rel
      #	relational/http..cds.omdoc.org/examples/$I$T$P.rel
      #	relational/http..cds.omdoc.org/examples/$Inductive$Tests.rel
      #	relational/http..cds.omdoc.org/examples/$Inductively$Defined$Types.rel
      #	relational/http..cds.omdoc.org/examples/$Int$Literals.rel
      #	relational/http..cds.omdoc.org/examples/$Int$Rules.rel
      #	relational/http..cds.omdoc.org/examples/$Int.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Commutative.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Commutative2$Semilattice.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Normal2$Left$Regular.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Normal2$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Regular.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Regular2$Right$Commutative.rel
      #	relational/http..cds.omdoc.org/examples/$Left$Zero.rel
      #	relational/http..cds.omdoc.org/examples/$Nat$Literals.rel
      #	relational/http..cds.omdoc.org/examples/$Nat$Minus.rel
      #	relational/http..cds.omdoc.org/examples/$Nat$Rules.rel
      #	relational/http..cds.omdoc.org/examples/$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Normal2$Left$Commutative.rel
      #	relational/http..cds.omdoc.org/examples/$Normal2$Right$Commutative.rel
      #	relational/http..cds.omdoc.org/examples/$P$L$Nat$Ded.rel
      #	relational/http..cds.omdoc.org/examples/$P$L$Proofs.rel
      #	relational/http..cds.omdoc.org/examples/$Prog$Lang.rel
      #	relational/http..cds.omdoc.org/examples/$Rectangular.rel
      #	relational/http..cds.omdoc.org/examples/$Regular.rel
      #	relational/http..cds.omdoc.org/examples/$Regular2$Left$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Regular2$Right$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Commutative.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Commutative2$Semilattice.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Normal2$Normal.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Normal2$Right$Regular.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Regular.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Regular2$Left$Commutative.rel
      #	relational/http..cds.omdoc.org/examples/$Right$Zero.rel
      #	relational/http..cds.omdoc.org/examples/$S$F$O$L$E$Q$Nat$Ded.rel
      #	relational/http..cds.omdoc.org/examples/$S$F$O$L$E$Q.rel
      #	relational/http..cds.omdoc.org/examples/$S$F$O$L$Nat$Ded.rel
      #	relational/http..cds.omdoc.org/examples/$Semilattice.rel
      #	relational/http..cds.omdoc.org/examples/$Test.rel
      #	relational/http..cds.omdoc.org/examples/$Vectors.rel
      #	relational/http..cds.omdoc.org/examples/del$Mon.rel
      #	relational/http..cds.omdoc.org/examples/linear/$Contraction.rel
      #	relational/http..cds.omdoc.org/examples/linear/$Exchange.rel
      #	relational/http..cds.omdoc.org/examples/linear/$Resource$Semantics.rel
      #	relational/http..cds.omdoc.org/examples/linear/$Weakening.rel
      #	relational/http..cds.omdoc.org/examples/tutorial/$Abelian$Group.rel
      #	relational/http..cds.omdoc.org/examples/tutorial/$Classical$S$F$O$L.rel
      #	relational/http..cds.omdoc.org/examples/tutorial/$Group.rel
      #	relational/http..cds.omdoc.org/examples/tutorial/$Nat$Ded.rel
      #	relational/http..cds.omdoc.org/physics/$Cooking$Unit.rel
      #	relational/http..cds.omdoc.org/physics/$Derived$Units.rel
      #	relational/http..cds.omdoc.org/physics/$Dimensions.rel
      #	relational/http..cds.omdoc.org/physics/$Prefixes.rel
      #	relational/http..cds.omdoc.org/physics/$Temperature$Units.rel
      #	relational/http..cds.omdoc.org/physics/$Time$Units.rel
      #	relational/http..cds.omdoc.org/physics/$Units.rel
      #	relational/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$Eta.rel
      #	relational/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$Extensionality.rel
      #	relational/http..foswiki.cs.uu.nl/foswiki/IFIP21/Goteborg/MMT-tutorial-final/$S$T$T.rel
      #	relational/http..hku.hk/PL/$S$E$D$E$L.rel
      b7b48874
    • Florian Rabe's avatar
      no message · 961ac192
      Florian Rabe authored
      961ac192
  8. 09 Feb, 2020 1 commit
  9. 21 Oct, 2019 1 commit
  10. 18 Sep, 2019 1 commit
  11. 17 Sep, 2019 1 commit
  12. 04 Sep, 2019 1 commit
  13. 26 Aug, 2019 1 commit
  14. 04 Aug, 2019 1 commit
  15. 02 Aug, 2019 3 commits
  16. 25 Jul, 2019 2 commits
  17. 24 Jul, 2019 1 commit
  18. 23 Jul, 2019 7 commits
  19. 19 Jul, 2019 3 commits
  20. 15 Jul, 2019 3 commits
  21. 13 Jul, 2019 1 commit
  22. 12 Jul, 2019 1 commit
  23. 19 Jun, 2019 1 commit