Tue, 23 Jun 2009 20:14:40 +0200 | wenzelm | merged | changeset | files |
Tue, 23 Jun 2009 14:33:35 +0200 | haftmann | merged | changeset | files |
Tue, 23 Jun 2009 14:24:58 +0200 | haftmann | simplified proof | changeset | files |
Tue, 23 Jun 2009 12:09:30 +0200 | haftmann | uniformly capitialized names for subdirectories | changeset | files |
Tue, 23 Jun 2009 12:09:14 +0200 | haftmann | renamed ioa to automaton | changeset | files |
Tue, 23 Jun 2009 12:08:35 +0200 | haftmann | renamed ioa to automaton | changeset | files |
Tue, 23 Jun 2009 12:08:34 +0200 | haftmann | dropped duplicated lemmas, tuned header | changeset | files |