src/ZF/Let.thy
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-12-09 clasohm 1995-12-09 removed quotes from consts and syntax sections
1995-05-03 lcp 1995-05-03 Patterns can now be let-bound
1995-04-14 lcp 1995-04-14 Definition of 'let' declarations, from HOL