Sun, 16 Apr 1995 11:55:03 +0200 Brought in line with new organization of IOA.
nipkow [Sun, 16 Apr 1995 11:55:03 +0200] rev 1063
Brought in line with new organization of IOA.
Fri, 14 Apr 1995 12:21:15 +0200 New examples directories Resid and AC
lcp [Fri, 14 Apr 1995 12:21:15 +0200] rev 1062
New examples directories Resid and AC
Fri, 14 Apr 1995 12:03:15 +0200 Definition of 'let' declarations, from HOL
lcp [Fri, 14 Apr 1995 12:03:15 +0200] rev 1061
Definition of 'let' declarations, from HOL
Fri, 14 Apr 1995 11:27:57 +0200 In binders, the default body priority is now p instead of 0.
lcp [Fri, 14 Apr 1995 11:27:57 +0200] rev 1060
In binders, the default body priority is now p instead of 0.
Fri, 14 Apr 1995 11:27:18 +0200 Now builds Resid as a test
lcp [Fri, 14 Apr 1995 11:27:18 +0200] rev 1059
Now builds Resid as a test
Fri, 14 Apr 1995 11:26:22 +0200 Deleted comment
lcp [Fri, 14 Apr 1995 11:26:22 +0200] rev 1058
Deleted comment
Fri, 14 Apr 1995 11:25:23 +0200 Renamed diff_sing_lepoll to Diff_sing_lepoll.
lcp [Fri, 14 Apr 1995 11:25:23 +0200] rev 1057
Renamed diff_sing_lepoll to Diff_sing_lepoll.
Fri, 14 Apr 1995 11:24:51 +0200 Renamed domain_diff_subset, range_diff_subset,
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)
Fri, 14 Apr 1995 11:24:10 +0200 Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll
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)
Fri, 14 Apr 1995 11:22:30 +0200 Updated CADE reference
lcp [Fri, 14 Apr 1995 11:22:30 +0200] rev 1054
Updated CADE reference
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip