| Mon, 19 Jul 2004 18:19:42 +0200 | berghofe | - Moved code generator setup for lists from Main.thy to List.thy | changeset | files |
| Mon, 19 Jul 2004 18:15:46 +0200 | berghofe | Moved code generator setup for lists to List.thy | changeset | files |
| Mon, 19 Jul 2004 18:14:57 +0200 | berghofe | Added function dest_list. | changeset | files |
| Mon, 19 Jul 2004 18:14:22 +0200 | berghofe | Added simple check that allows code generator to produce code containing | changeset | files |
| Mon, 19 Jul 2004 18:12:49 +0200 | berghofe | Added function unprefix. | changeset | files |
| Sun, 18 Jul 2004 12:01:08 +0200 | schirmer | tuned | changeset | files |
| Fri, 16 Jul 2004 19:21:59 +0200 | schirmer | added: get_extT_fields and | changeset | files |
| Fri, 16 Jul 2004 17:33:43 +0200 | nipkow | added Complex/root | changeset | files |
| Fri, 16 Jul 2004 17:33:12 +0200 | nipkow | Fine-tuned sum syntax. | changeset | files |
| Fri, 16 Jul 2004 17:32:34 +0200 | nipkow | Corrected TeX problem. | changeset | files |
| Fri, 16 Jul 2004 17:31:54 +0200 | nipkow | Created. | changeset | files |
| Fri, 16 Jul 2004 17:31:44 +0200 | nipkow | Corrected TeX problems. | changeset | files |
| Fri, 16 Jul 2004 11:46:59 +0200 | nipkow | Added nice latex syntax. | changeset | files |
| Fri, 16 Jul 2004 09:36:04 +0200 | wenzelm | int_ord = Int.compare, string_ord = String.compare; | changeset | files |