| Fri, 28 Oct 2005 17:27:04 +0200 | haftmann | added extraction interface for code generator | changeset | files |
| Fri, 28 Oct 2005 16:43:46 +0200 | urbanc | Added (optional) arguments to the tactics | changeset | files |
| Fri, 28 Oct 2005 16:35:40 +0200 | haftmann | cleaned up nth, nth_update, nth_map and nth_string functions | changeset | files |
| Fri, 28 Oct 2005 13:52:57 +0200 | berghofe | Removed legacy prove_goalw_cterm command. | changeset | files |
| Fri, 28 Oct 2005 12:22:34 +0200 | paulson | got rid of obsolete prove_goalw_cterm | changeset | files |
| Fri, 28 Oct 2005 09:36:19 +0200 | haftmann | swapped add_datatype result | changeset | files |
| Fri, 28 Oct 2005 09:35:04 +0200 | haftmann | removed obfuscating PStrStrTab | changeset | files |
| Fri, 28 Oct 2005 08:40:55 +0200 | haftmann | reachable - abandoned foldl_map in favor of fold_map | changeset | files |