| Sat, 27 Oct 2007 18:37:32 +0200 | obua | better compute oracle | changeset | files |
| Sat, 27 Oct 2007 18:37:06 +0200 | obua | adapted Compute... | changeset | files |
| Sat, 27 Oct 2007 15:53:23 +0200 | krauss | use "fun" for definition of "member" -> authentic syntax | changeset | files |
| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | changeset | files |
| Sat, 27 Oct 2007 12:48:24 +0200 | haftmann | added list comprehension syntax | changeset | files |
| Fri, 26 Oct 2007 22:10:44 +0200 | wenzelm | locale_const: in_class workaround prevents additional locale version of class consts; | changeset | files |
| Fri, 26 Oct 2007 22:10:43 +0200 | wenzelm | notation: associate syntax to checked-unchecked term; | changeset | files |