Wed, 26 Jan 2000 21:10:27 +0100 | wenzelm | 'name' syntax includes numbers; | changeset | files |
Wed, 26 Jan 2000 11:04:38 +0100 | nipkow | optimized xs[i:=x]!j lemmas. | changeset | files |
Tue, 25 Jan 2000 22:31:53 +0100 | wenzelm | added map, map_st; | changeset | files |