| Mon, 20 Oct 1997 10:52:32 +0200 | wenzelm | fixed types of add_XXX; | changeset | files |
| Mon, 20 Oct 1997 10:52:04 +0200 | wenzelm | fixed types of add_XXX; | changeset | files |
| Mon, 20 Oct 1997 10:51:01 +0200 | wenzelm | tuned output; | changeset | files |
| Mon, 20 Oct 1997 10:48:22 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| Mon, 20 Oct 1997 10:39:26 +0200 | wenzelm | Sign.base_name; | changeset | files |
| Mon, 20 Oct 1997 10:39:04 +0200 | wenzelm | fixed types of add_XXX; | changeset | files |
| Mon, 20 Oct 1997 10:38:36 +0200 | wenzelm | local; | changeset | files |
| Mon, 20 Oct 1997 10:38:16 +0200 | wenzelm | local section; | changeset | files |
| Sat, 18 Oct 1997 13:23:02 +0200 | nipkow | addsplits | changeset | files |
| Fri, 17 Oct 1997 19:07:56 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| Fri, 17 Oct 1997 18:19:14 +0200 | wenzelm | no longer tries bogus eta-contract involving aprops; | changeset | files |
| Fri, 17 Oct 1997 18:14:48 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| Fri, 17 Oct 1997 18:03:46 +0200 | wenzelm | fixed RAW target; | changeset | files |
| Fri, 17 Oct 1997 17:42:39 +0200 | wenzelm | (co) inductive / datatype package adapted to qualified names; | changeset | files |
| Fri, 17 Oct 1997 17:40:33 +0200 | wenzelm | obselete 'end' hack; | changeset | files |
| Fri, 17 Oct 1997 17:40:02 +0200 | wenzelm | global; | changeset | files |
| Fri, 17 Oct 1997 17:39:04 +0200 | wenzelm | tuned "." syntax; | changeset | files |
| Fri, 17 Oct 1997 17:33:22 +0200 | wenzelm | removed Classlib; | changeset | files |
| Fri, 17 Oct 1997 17:32:27 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 17 Oct 1997 15:25:12 +0200 | nipkow | setloop split_tac -> addsplits | changeset | files |
| Fri, 17 Oct 1997 15:23:14 +0200 | nipkow | Added error messages. | changeset | files |
| Fri, 17 Oct 1997 11:12:36 +0200 | paulson | A lot of new comments | changeset | files |
| Fri, 17 Oct 1997 11:10:54 +0200 | paulson | Eta-expanded a function decl to make sml/nj happy | changeset | files |
| Fri, 17 Oct 1997 11:10:13 +0200 | paulson | Added "op" before "occs" to make sml/nj happy | changeset | files |