Changeset 11ab4e in git


Ignore:
Timestamp:
Oct 4, 2013, 6:05:24 PM (11 years ago)
Author:
Janko Boehm <boehm@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
8b1af66f3fa0c89a69c53ece141ce180bd7462a6
Parents:
69b030fa82c47c378fcf1d4a45c0927de369858d
git-author:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-10-04 18:05:24+02:00
git-committer:
Janko Boehm <boehm@mathematik.uni-kl.de>2013-10-25 18:08:33+02:00
Message:
added assume
File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.