descriptionMirror of http://darcs.nomeata.de/afp-Free-Groups
ownernomeata
last changeWed, 23 Jun 2010 10:45:03 +0000 (10:45 +0000)
shortlog
2010-06-23 Joachim Breitnerlangle/rangle for group span master
2010-06-23 Joachim BreitnerNicer syntax for the Free Group
2010-06-23 Joachim BreitnerFix LaTeX build
2010-06-23 Joachim BreitnerProve that F_1 = \Z
2010-06-21 Joachim BreitnerShow that the Free Group over the empty set is the...
2010-06-18 Joachim BreitnerProve hom_span
2010-06-17 Joachim BreitnerFinish universal property
2010-06-17 Joachim BreitnerRemove trivial lemmas
2010-06-17 Joachim BreitnerSkip one step
2010-06-17 Joachim BreitnerDrop unnecessary condition
2010-06-16 Joachim BreitnerPut lift_cancels_to in a lemmy of its own
2010-06-16 Joachim Breitnerlift_is_hom
2010-06-16 Joachim Breitnercancels_to_1_unfold: Alternative view on cancels_to_1
2010-06-16 Joachim Breitnerm_concat and lemmas about
2010-06-15 Joachim BreitnerBeginnings of the universal property
2010-06-14 Joachim BreitnerTheory Generators.thy
...
heads
9 years ago master