| 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
|
| 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
|