This URL is Obsolete

Leslie Lamport

Last modified on 30 December 2018

The TLA+ web site once contained a page with this URL. The material that was on that page that is still of interest can be found by clicking here.