| Sat, 13 May 2006 02:51:49 +0200 | wenzelm | added add_primrec_unchecked_i; | changeset | files |
| Sat, 13 May 2006 02:51:48 +0200 | wenzelm | unchecked definitions; | changeset | files |
| Sat, 13 May 2006 02:51:47 +0200 | wenzelm | defs (unchecked overloaded), including former primrec; | changeset | files |
| Sat, 13 May 2006 02:51:46 +0200 | wenzelm | updated; | changeset | files |
| Sat, 13 May 2006 02:51:45 +0200 | wenzelm | add_defs: unchecked flag; | changeset | files |
| Sat, 13 May 2006 02:51:43 +0200 | wenzelm | 'defs': unchecked flag; | changeset | files |