| Fri, 22 Oct 1999 21:48:50 +0200 | wenzelm | warn_extra_tfrees; | file | diff | annotate |
| Fri, 01 Oct 1999 20:38:16 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 01 Oct 1999 20:36:53 +0200 | wenzelm | The 'obtain' language element -- achieves (eliminated) existential | file | diff | annotate |