| Tue, 07 Aug 2007 09:38:48 +0200 | haftmann | more robust simproces | changeset | files |
| Tue, 07 Aug 2007 09:38:47 +0200 | haftmann | tuned | changeset | files |
| Tue, 07 Aug 2007 09:38:46 +0200 | haftmann | simplified proofs | changeset | files |
| Tue, 07 Aug 2007 09:38:44 +0200 | haftmann | split off theory Option for benefit of code generator | changeset | files |
| Tue, 07 Aug 2007 09:38:43 +0200 | haftmann | changed import order | changeset | files |
| Mon, 06 Aug 2007 19:59:07 +0200 | wenzelm | added more instances; | changeset | files |
| Mon, 06 Aug 2007 19:58:59 +0200 | wenzelm | ML-Systems/overloading_smlnj.ML; | changeset | files |
| Mon, 06 Aug 2007 19:35:43 +0200 | wenzelm | Overloading in SML/NJ. | changeset | files |
| Mon, 06 Aug 2007 16:08:01 +0200 | berghofe | Added renaming function to prevent correctness proof for realizer | changeset | files |
| Mon, 06 Aug 2007 16:05:25 +0200 | berghofe | No document for Pretty_Int theory. | changeset | files |
| Mon, 06 Aug 2007 11:45:39 +0200 | haftmann | nbe improved | changeset | files |
| Mon, 06 Aug 2007 11:45:19 +0200 | haftmann | removed | changeset | files |