Tue, 09 Aug 2011 22:37:33 +0200 | wenzelm | merged | changeset | files |
Tue, 09 Aug 2011 20:24:48 +0200 | haftmann | tuned proofs | changeset | files |
Tue, 09 Aug 2011 18:52:18 +0200 | haftmann | merged | changeset | files |
Tue, 09 Aug 2011 08:07:22 +0200 | haftmann | tuned header | changeset | files |
Tue, 09 Aug 2011 08:06:15 +0200 | haftmann | more uniform naming scheme for Inf/INF and Sup/SUP lemmas | changeset | files |
Tue, 09 Aug 2011 16:09:10 +0200 | kleing | removed "extremely ambigous" warning; has been ignored by everyone for years. | changeset | files |