| Mon, 05 Jul 2010 09:14:51 -0700 | huffman | generalize type of is_interval to class euclidean_space | changeset | files |
| Mon, 05 Jul 2010 09:12:35 -0700 | huffman | section -> subsection | changeset | files |
| Sun, 04 Jul 2010 09:26:30 -0700 | huffman | generalize some lemmas about derivatives | changeset | files |
| Sun, 04 Jul 2010 09:25:17 -0700 | huffman | uniqueness of Frechet derivative | changeset | files |
| Tue, 06 Jul 2010 21:33:14 +0200 | wenzelm | implode pseudo utf8, i.e. decode byte-stuffed low ASCII characters; | changeset | files |
| Tue, 06 Jul 2010 10:02:24 +0200 | wenzelm | merged | changeset | files |
| Tue, 06 Jul 2010 09:27:49 +0200 | haftmann | even more fun with primrec | changeset | files |
| Tue, 06 Jul 2010 09:21:15 +0200 | haftmann | refactored reference operations | changeset | files |