Sat, 21 Jan 2006 23:02:21 +0100 | wenzelm | tuned proofs; | changeset | files |
Sat, 21 Jan 2006 23:02:20 +0100 | wenzelm | simplified type attribute; | changeset | files |
Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | changeset | files |
Fri, 20 Jan 2006 04:53:59 +0100 | mengj | type information is now also printed. | changeset | files |
Fri, 20 Jan 2006 04:50:01 +0100 | mengj | added some debugging code. | changeset | files |
Fri, 20 Jan 2006 04:35:23 +0100 | mengj | fixed a bug | changeset | files |
Thu, 19 Jan 2006 21:22:30 +0100 | wenzelm | quote "atom"; | changeset | files |