Tue, 15 Mar 2016 14:08:25 +0000 | paulson | rationalisation of theorem names esp about "real Archimedian" etc. | changeset | files |
Tue, 15 Mar 2016 08:34:04 +0100 | Andreas Lochbihler | add fixpoint induction principle | changeset | files |
Mon, 14 Mar 2016 21:37:49 +0100 | blanchet | generalized ML function | changeset | files |