src/HOL/UNITY/Token.thy
1998-11-18 paulson 1998-11-18 Finally removing "Compl" from HOL
1998-10-31 paulson 1998-10-31 locales now implicitly quantify over free variables
1998-10-15 paulson 1998-10-15 specifications as sets of programs
1998-10-02 nipkow 1998-10-02 id <-> Id
1998-09-01 paulson 1998-09-01 New approach, using a locale
1998-08-06 paulson 1998-08-06 A higher-level treatment of LeadsTo, minimizing use of "reachable"
1998-08-05 paulson 1998-08-05 New record type of programs
1998-07-31 paulson 1998-07-31 Tidied; uses records
1998-04-03 paulson 1998-04-03 New UNITY theory