| Sun, 17 Feb 2013 10:40:53 +0100 | haftmann | CONTRIBUTORS | changeset | files |
| Sat, 16 Feb 2013 15:27:10 +0100 | nipkow | tail recursive code for function "upto" | changeset | files |
| Fri, 15 Feb 2013 16:53:39 +0100 | blanchet | tuning | changeset | files |
| Fri, 15 Feb 2013 16:40:39 +0100 | blanchet | repaired collateral damage from 4f0147ed8bcb | changeset | files |
| Fri, 15 Feb 2013 16:17:05 +0100 | traytel | Backed out changeset: 3fe7242f8346, | changeset | files |
| Fri, 15 Feb 2013 12:48:20 +0100 | haftmann | dropped now obsolete hint; | changeset | files |
| Fri, 15 Feb 2013 11:47:34 +0100 | haftmann | attempt to re-establish conventions which theories are loaded into the grand unified library theory; | changeset | files |
| Fri, 15 Feb 2013 11:47:33 +0100 | haftmann | systematic conversions between nat and nibble/char; | changeset | files |