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