| Thu, 18 Aug 2011 13:10:24 +0200 | haftmann | avoid case-sensitive name for example theory | changeset | files |
| Thu, 18 Aug 2011 17:42:35 +0200 | nipkow | merged | changeset | files |
| Thu, 18 Aug 2011 17:42:18 +0200 | nipkow | case_names NEWS | changeset | files |
| Thu, 18 Aug 2011 17:00:15 +0200 | bulwahn | adding documentation about simps equation in the inductive package | changeset | files |
| Thu, 18 Aug 2011 12:06:17 +0200 | bulwahn | activating narrowing-based quickcheck by default | changeset | files |
| Thu, 18 Aug 2011 18:07:40 +0200 | wenzelm | more precise treatment of exception nesting and serial numbers; | changeset | files |
| Thu, 18 Aug 2011 17:53:32 +0200 | wenzelm | more careful treatment of exception serial numbers, with propagation to message channel; | changeset | files |
| Thu, 18 Aug 2011 17:30:47 +0200 | wenzelm | updated sequential version (cf. b94951f06e48); | changeset | files |