Wed, 17 Jun 2015 22:06:56 +0200 | nipkow | tuned | changeset | files |
Wed, 17 Jun 2015 20:22:01 +0200 | nipkow | merged | changeset | files |
Wed, 17 Jun 2015 20:21:40 +0200 | nipkow | added funs and lemmas | changeset | files |
Wed, 17 Jun 2015 18:58:46 +0200 | wenzelm | tuned proofs; | changeset | files |
Wed, 17 Jun 2015 18:22:29 +0200 | wenzelm | merged | changeset | files |
Wed, 17 Jun 2015 17:54:09 +0200 | wenzelm | manual merge; | changeset | files |
Wed, 17 Jun 2015 17:52:04 +0200 | wenzelm | tuned proofs; | changeset | files |