1995-04-16 nipkow [Sun, 16 Apr 1995 11:55:03 +0200] rev 1063
Brought in line with new organization of IOA.
src/HOL/Makefile

1995-04-14 lcp [Fri, 14 Apr 1995 12:21:15 +0200] rev 1062
New examples directories Resid and AC
src/ZF/README

1995-04-14 lcp [Fri, 14 Apr 1995 12:03:15 +0200] rev 1061
Definition of 'let' declarations, from HOL
src/ZF/Let.ML src/ZF/Let.thy

1995-04-14 lcp [Fri, 14 Apr 1995 11:27:57 +0200] rev 1060
In binders, the default body priority is now p instead of 0.
doc-src/Ref/defining.tex

1995-04-14 lcp [Fri, 14 Apr 1995 11:27:18 +0200] rev 1059
Now builds Resid as a test
src/ZF/Makefile

1995-04-14 lcp [Fri, 14 Apr 1995 11:26:22 +0200] rev 1058
Deleted comment
src/ZF/AC/WO6_WO1.thy

1995-04-14 lcp [Fri, 14 Apr 1995 11:25:23 +0200] rev 1057
Renamed diff_sing_lepoll to Diff_sing_lepoll.
src/ZF/AC/AC_Equiv.ML src/ZF/AC/WO6_WO1.ML src/ZF/AC/rel_is_fun.ML

1995-04-14 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)
src/ZF/equalities.ML

1995-04-14 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)
src/ZF/Cardinal.ML

1995-04-14 lcp [Fri, 14 Apr 1995 11:22:30 +0200] rev 1054
Updated CADE reference
doc-src/Logics/logics.bbl