| Sat, 26 Jan 2008 17:08:35 +0100 | wenzelm | internal inductive: fresh theorem group; | changeset | files |
| Fri, 25 Jan 2008 23:50:33 +0100 | wenzelm | modernized primrec; | changeset | files |
| Fri, 25 Jan 2008 23:05:27 +0100 | wenzelm | Codegenerator vs. Codegenerator_Pretty: loaded sequentially, due to hazardous ML sections; | changeset | files |
| Fri, 25 Jan 2008 23:05:25 +0100 | wenzelm | modernized primrec; | changeset | files |
| Fri, 25 Jan 2008 23:05:24 +0100 | wenzelm | tuned document; | changeset | files |
| Fri, 25 Jan 2008 23:05:23 +0100 | wenzelm | tuned document; | changeset | files |
| Fri, 25 Jan 2008 22:04:46 +0100 | wenzelm | tuned; | changeset | files |