Thu, 10 Sep 2009 15:23:08 +0200 | haftmann | generic transfer procedure | changeset | files |
Thu, 10 Sep 2009 15:23:07 +0200 | haftmann | early bootstrap of generic transfer procedure | changeset | files |
Thu, 10 Sep 2009 14:07:58 +0200 | haftmann | cleanedup theorems all_nat ex_nat | changeset | files |