| Thu, 18 Aug 2011 17:00:15 +0200 | bulwahn | adding documentation about simps equation in the inductive package | file | diff | annotate |
| Mon, 08 Aug 2011 13:48:38 +0200 | wenzelm | updated imports; | file | diff | annotate |
| Thu, 28 Jul 2011 05:52:28 -0200 | noschinl | document coercions | file | diff | annotate |