| Tue, 22 Nov 2005 19:34:46 +0100 | wenzelm | find_xxxS: term instead of thm; | changeset | files |
| Tue, 22 Nov 2005 19:34:44 +0100 | wenzelm | export map_tags; | changeset | files |
| Tue, 22 Nov 2005 19:34:43 +0100 | wenzelm | make coinduct actually work; | changeset | files |
| Tue, 22 Nov 2005 19:34:41 +0100 | wenzelm | Drule.multi_resolves; | changeset | files |
| Tue, 22 Nov 2005 19:34:40 +0100 | wenzelm | declare coinduct rule; | changeset | files |
| Tue, 22 Nov 2005 14:32:01 +0100 | haftmann | added code generator syntax | changeset | files |
| Tue, 22 Nov 2005 12:59:25 +0100 | haftmann | added codegenerator | changeset | files |
| Tue, 22 Nov 2005 12:42:59 +0100 | haftmann | added code generator syntax | changeset | files |