| Thu, 19 Nov 2009 10:58:36 +0000 | paulson | Minor correction | changeset | files |
| Thu, 19 Nov 2009 12:59:32 +0100 | wenzelm | some attempts to improve termination of isatest; | changeset | files |
| Thu, 19 Nov 2009 11:57:30 +0100 | hoelzl | Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS | changeset | files |
| Thu, 19 Nov 2009 11:51:37 +0100 | hoelzl | Renamed vector_less_eq_def to the more usual name vector_le_def. | changeset | files |
| Thu, 19 Nov 2009 10:49:43 +0100 | bulwahn | merged | changeset | files |
| Thu, 19 Nov 2009 08:25:57 +0100 | bulwahn | replacing Predicate_Compile_Preproc_Const_Defs by more general Spec_Rules | changeset | files |
| Thu, 19 Nov 2009 08:25:54 +0100 | bulwahn | concealing internal definitions of primrec specifications | changeset | files |