| Mon, 24 Feb 1997 09:46:12 +0100 | wenzelm | added "_" syntax for dummyT; | changeset | files |
| Fri, 21 Feb 1997 16:43:04 +0100 | wenzelm | declared the dummy type; | changeset | files |
| Fri, 21 Feb 1997 16:35:49 +0100 | wenzelm | replaced natural by subset; | changeset | files |
| Fri, 21 Feb 1997 16:35:30 +0100 | wenzelm | tuned symbolic [|_|] syntax; | changeset | files |
| Fri, 21 Feb 1997 16:28:00 +0100 | wenzelm | tuned some chars; | changeset | files |
| Fri, 21 Feb 1997 15:38:44 +0100 | paulson | More robust proof (?) | changeset | files |
| Fri, 21 Feb 1997 15:31:47 +0100 | paulson | Replaced "flat" by the Basis Library function List.concat | changeset | files |