| Tue, 08 Jul 2008 16:19:23 +0200 | wenzelm | removed unused href_opt_name; | changeset | files |
| Tue, 08 Jul 2008 13:45:27 +0200 | kleing | migrated at-sml-dev-p to macbroy24, hoping for more reliable hardware | changeset | files |
| Mon, 07 Jul 2008 23:37:33 +0200 | kleing | retired mac-sml-dev. | changeset | files |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | changeset | files |
| Fri, 04 Jul 2008 16:33:08 +0200 | huffman | prefer theorem names without numbers | changeset | files |
| Fri, 04 Jul 2008 15:57:55 +0200 | huffman | HOL-NSA | changeset | files |
| Fri, 04 Jul 2008 07:39:01 +0200 | haftmann | added marginal setup for code generation | changeset | files |