Thu, 05 Jun 1997 13:29:41 +0200 | paulson | Removal of radixstring from string_of_int; addition of string_of_indexname | changeset | files |
Thu, 05 Jun 1997 13:28:32 +0200 | paulson | There was never need for another copy of radixstring... | changeset | files |
Thu, 05 Jun 1997 13:27:28 +0200 | paulson | Numerous simplifications and removal of HOL-isms | changeset | files |