topics to process
Quote: lost reference about type invariants. get from backup of notes.new after 5/97 Probably in entry before (QuoteRef: kentW2_1989)
appears to be really lost. Fairly ordinary.
looks like it should be (QuoteRef: stroRE5_1985) but the page numbers are wrong, it was in (millHD2_86)
was in (QuoteRef: dewaRG6_1975)
Wirth Axiomatic definition of Pascal, being chased
Quote: if the porter only admits people with invitations, we trust that admitted people have an invitation
ThesaHelp: topics to process