Wed, 26 Jun 1996 17:50:10 +0200 | oheimb | repaired 8bit pragma | changeset | files |
Wed, 26 Jun 1996 17:45:32 +0200 | oheimb | adapted path to 8bit package | changeset | files |
Wed, 26 Jun 1996 17:38:34 +0200 | oheimb | function names in when_rews now meta-quantified | changeset | files |
Wed, 26 Jun 1996 17:37:34 +0200 | oheimb | when_funs removed | changeset | files |
Tue, 25 Jun 1996 18:01:37 +0200 | oheimb | *** empty log message *** | changeset | files |
Tue, 25 Jun 1996 17:44:43 +0200 | oheimb | Initial revision | changeset | files |
Tue, 25 Jun 1996 13:18:54 +0200 | berghofe | Changed argument order of nat_rec. | changeset | files |