| Wed, 23 Nov 2011 13:46:46 +0100 | wenzelm | updated according to bdcaa3f3a2f4; | changeset | files |
| Wed, 23 Nov 2011 13:41:42 +0100 | wenzelm | updated proof; | changeset | files |
| Wed, 23 Nov 2011 07:44:56 +0100 | nipkow | tuned | changeset | files |
| Wed, 23 Nov 2011 07:00:01 +0100 | huffman | remove outdated comment | changeset | files |
| Mon, 21 Nov 2011 23:29:53 +0100 | wenzelm | NEWS; | changeset | files |
| Mon, 21 Nov 2011 23:04:45 +0100 | wenzelm | simplified read_instantiate -- no longer need to assign values, since rule attributes are now static; | changeset | files |
| Mon, 21 Nov 2011 23:03:31 +0100 | wenzelm | drop vacuous decls; | changeset | files |