Sat, 27 Jun 2015 20:20:33 +0200 | haftmann | tuned code setup | changeset | files |
Sat, 27 Jun 2015 20:20:32 +0200 | haftmann | algebraic specification for set gcd | changeset | files |
Sat, 27 Jun 2015 00:10:24 +0200 | wenzelm | premises in 'show' are treated like 'assume'; | changeset | files |