| Mon, 07 May 2007 23:07:04 +0200 | huffman | clean up RealVector classes | changeset | files |
| Mon, 07 May 2007 16:46:42 +0200 | paulson | First-order variant of the fully-typed translation | changeset | files |
| Mon, 07 May 2007 14:20:32 +0200 | haftmann | added further equality example | changeset | files |
| Mon, 07 May 2007 09:58:07 +0200 | haftmann | changed 'code nofunc' to 'code func del' | changeset | files |
| Mon, 07 May 2007 00:52:25 +0200 | wenzelm | * Context data interfaces; | changeset | files |
| Mon, 07 May 2007 00:50:09 +0200 | wenzelm | simplified DataFun interfaces: removed name/print, use adhoc value for uninitialized data, init only required for impure data; | changeset | files |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | changeset | files |