| Mon, 22 Feb 2010 15:53:19 +0100 | haftmann | more accurate when registering new types | changeset | files |
| Mon, 22 Feb 2010 15:53:18 +0100 | haftmann | added Dlist | changeset | files |
| Mon, 22 Feb 2010 15:53:18 +0100 | haftmann | tuned text | changeset | files |
| Mon, 22 Feb 2010 15:53:18 +0100 | haftmann | distributed theory Algebras to theories Groups and Lattices | changeset | files |
| Mon, 22 Feb 2010 11:13:30 +0100 | haftmann | merged | changeset | files |
| Mon, 22 Feb 2010 11:10:20 +0100 | haftmann | proper distinction of code datatypes and abstypes | changeset | files |
| Mon, 22 Feb 2010 10:38:58 +0100 | haftmann | merged | changeset | files |
| Mon, 22 Feb 2010 09:36:47 +0100 | haftmann | merged | changeset | files |
| Mon, 22 Feb 2010 09:24:20 +0100 | haftmann | merged | changeset | files |
| Sat, 20 Feb 2010 21:13:29 +0100 | haftmann | lemma distinct_insert | changeset | files |
| Mon, 22 Feb 2010 21:48:20 -0800 | huffman | proper header and subsection headings | changeset | files |
| Mon, 22 Feb 2010 21:47:21 -0800 | huffman | remove unneeded premise from rat_floor_lemma and floor_Fract | changeset | files |
| Mon, 22 Feb 2010 20:41:49 +0100 | hoelzl | Replaced Integration by Multivariate-Analysis/Real_Integration | changeset | files |
| Mon, 22 Feb 2010 20:08:10 +0100 | himmelma | Support for one-dimensional integration in Multivariate-Analysis | changeset | files |