| Mon, 08 Jun 2009 20:43:57 +0200 | nipkow | more lemmas | changeset | files |
| Mon, 08 Jun 2009 18:34:02 +0200 | hoelzl | Better approximation of cos around pi. | changeset | files |
| Mon, 08 Jun 2009 07:22:35 -0700 | huffman | merged | changeset | files |
| Sun, 07 Jun 2009 20:57:52 -0700 | huffman | merged | changeset | files |
| Mon, 08 Jun 2009 09:58:41 +0200 | nipkow | new lemma | changeset | files |
| Mon, 08 Jun 2009 09:23:04 +0200 | haftmann | merged | changeset | files |
| Mon, 08 Jun 2009 09:03:00 +0200 | haftmann | merged | changeset | files |
| Mon, 08 Jun 2009 09:02:51 +0200 | haftmann | proper deresolving of class relations and class parameters in SML | changeset | files |
| Mon, 08 Jun 2009 08:52:18 +0200 | nipkow | New lemma | changeset | files |
| Mon, 08 Jun 2009 00:26:57 +0200 | wenzelm | eliminated hardwired Cygwin setup; | changeset | files |
| Mon, 08 Jun 2009 00:20:43 +0200 | wenzelm | Accessing the Cygwin installation. | changeset | files |
| Sun, 07 Jun 2009 20:15:29 +0200 | wenzelm | static IsabelleSystem.charset; | changeset | files |