| Sat, 14 Mar 2009 15:15:44 +0100 | immler | removed connection check; | changeset | files |
| Sun, 15 Mar 2009 16:02:22 +0100 | wenzelm | merged | changeset | files |
| Sat, 14 Mar 2009 12:51:13 +0100 | haftmann | merged | changeset | files |
| Sat, 14 Mar 2009 12:50:29 +0100 | haftmann | reverted to old version of Set.thy -- strange effects have to be traced first | changeset | files |
| Sun, 15 Mar 2009 15:59:45 +0100 | wenzelm | simplified attribute and method setup; | changeset | files |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | changeset | files |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | changeset | files |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | updated generated files; | changeset | files |