Wed, 21 Jun 1995 15:12:40 +0200 | clasohm | removed \...\ inside strings | file | diff | annotate |
Wed, 24 Aug 1994 18:49:29 +0200 | lcp | Subst/UTerm: updated for inductive defs; streamlined proofs | file | diff | annotate |
Wed, 02 Mar 1994 12:26:55 +0100 | clasohm | changed "." to "$" and Cons to infix "#" to eliminate ambiguity | file | diff | annotate |
Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |