| Mon, 29 Jun 2009 16:17:57 +0200 | haftmann | mutual instances | changeset | files |
| Mon, 29 Jun 2009 16:17:56 +0200 | haftmann | canonical prefix for datatype derivates | changeset | files |
| Mon, 29 Jun 2009 16:17:55 +0200 | haftmann | tuned | changeset | files |
| Tue, 30 Jun 2009 11:21:02 +0200 | immler | check for correct proof output | changeset | files |
| Tue, 30 Jun 2009 11:21:02 +0200 | immler | fixed: count constants with supplementary lemmas | changeset | files |
| Tue, 30 Jun 2009 10:59:02 +0200 | hoelzl | removed latex markup - there is no document generated from Decision_Procs/ex | changeset | files |
| Mon, 29 Jun 2009 23:29:11 +0200 | hoelzl | Implemented taylor series expansion for approximation | changeset | files |
| Tue, 30 Jun 2009 21:19:32 +0200 | wenzelm | renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; | changeset | files |