| Thu, 10 Jul 2008 07:15:19 +0200 | huffman | by intro_locales -> .. | changeset | files |
| Thu, 10 Jul 2008 07:07:54 +0200 | huffman | instance real_field < field_char_0 | changeset | files |
| Wed, 09 Jul 2008 22:33:35 +0200 | huffman | remove redundant lemmas about cmod | changeset | files |
| Wed, 09 Jul 2008 22:32:17 +0200 | wenzelm | removed owner; | changeset | files |
| Wed, 09 Jul 2008 22:25:24 +0200 | wenzelm | tuned description; | changeset | files |
| Wed, 09 Jul 2008 22:23:34 +0200 | wenzelm | changes wrt. gitweb style; | changeset | files |
| Wed, 09 Jul 2008 22:13:09 +0200 | wenzelm | style = isabelle (based on gitweb); | changeset | files |
| Wed, 09 Jul 2008 20:18:06 +0200 | huffman | rearrange instantiations | changeset | files |
| Wed, 09 Jul 2008 17:14:31 +0200 | wenzelm | added get_first; | changeset | files |
| Tue, 08 Jul 2008 23:20:07 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 08 Jul 2008 23:14:35 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 08 Jul 2008 22:25:12 +0200 | huffman | fix more typos | changeset | files |
| Tue, 08 Jul 2008 22:07:39 +0200 | huffman | fix another typo | changeset | files |
| Tue, 08 Jul 2008 22:02:15 +0200 | huffman | fix typo | changeset | files |
| Tue, 08 Jul 2008 21:55:41 +0200 | wenzelm | updated generated file; | changeset | files |
| Tue, 08 Jul 2008 21:15:23 +0200 | wenzelm | global commands: explicit graph; | changeset | files |
| Tue, 08 Jul 2008 20:42:00 +0200 | wenzelm | export str_of; | changeset | files |
| Tue, 08 Jul 2008 18:13:12 +0200 | haftmann | clarified code | changeset | files |
| Tue, 08 Jul 2008 18:13:11 +0200 | haftmann | exported weaken combinator | changeset | files |
| Tue, 08 Jul 2008 18:13:10 +0200 | haftmann | refined arity property concept | changeset | files |
| Tue, 08 Jul 2008 18:13:09 +0200 | haftmann | fix: using IntInf.int for SML | changeset | files |
| Tue, 08 Jul 2008 17:52:28 +0200 | wenzelm | moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy; | changeset | files |
| Tue, 08 Jul 2008 17:52:26 +0200 | wenzelm | removed obsolete touch_child_thys; | changeset | files |
| Tue, 08 Jul 2008 17:52:24 +0200 | wenzelm | moved and renamed IsarCmd.kill_theory to ThyInfo.kill_thy; | changeset | files |
| Tue, 08 Jul 2008 17:48:17 +0200 | wenzelm | more qualified ThyInfo names; | changeset | files |
| Tue, 08 Jul 2008 16:19:24 +0200 | wenzelm | begin_theory: files_html needs to be produced outside of prep_html_source to make ML files appear! | changeset | files |
| 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 |