| Tue, 08 May 2007 01:10:55 +0200 | huffman | add lemmas power2_le_imp_le and power2_less_imp_less | changeset | files |
| Tue, 08 May 2007 00:50:55 +0200 | huffman | add lemma power_less_imp_less_base | changeset | files |
| 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 |