lcp [Fri, 14 Apr 1995 12:21:15 +0200] rev 1062
New examples directories Resid and AC
lcp [Fri, 14 Apr 1995 12:03:15 +0200] rev 1061
Definition of 'let' declarations, from HOL
lcp [Fri, 14 Apr 1995 11:27:57 +0200] rev 1060
In binders, the default body priority is now p instead of 0.
lcp [Fri, 14 Apr 1995 11:27:18 +0200] rev 1059
Now builds Resid as a test
lcp [Fri, 14 Apr 1995 11:26:22 +0200] rev 1058
Deleted comment
lcp [Fri, 14 Apr 1995 11:25:23 +0200] rev 1057
Renamed diff_sing_lepoll to Diff_sing_lepoll.
lcp [Fri, 14 Apr 1995 11:24:51 +0200] rev 1056
Renamed domain_diff_subset, range_diff_subset,
field_diff_subset, converse_diff to domain_Diff_subset, range_Diff_subset,
field_Diff_subset, converse_Diff for consistency. (Thanks to KG)
lcp [Fri, 14 Apr 1995 11:24:10 +0200] rev 1055
Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll
to Diff_sing_lepoll, lepoll_Diff_sing and Diff_sing_eqpoll for consistency.
Strengthened lepoll_Diff_sing. (Thanks to KG)
lcp [Fri, 14 Apr 1995 11:22:30 +0200] rev 1054
Updated CADE reference
lcp [Fri, 14 Apr 1995 11:20:53 +0200] rev 1053
Removes (obsolete) target if already present.