| Sat, 17 Sep 2005 19:17:35 +0200 |
wenzelm |
moved quick_and_dirty to Pure/ROOT.ML;
|
changeset |
files
|
| Sat, 17 Sep 2005 19:17:34 +0200 |
wenzelm |
pretty_thm_aux: ora masked by quick_and_dirty;
|
changeset |
files
|
| Sat, 17 Sep 2005 19:17:33 +0200 |
wenzelm |
added quick_and_dirty (from Isar/skip_proofs.ML);
|
changeset |
files
|
| Sat, 17 Sep 2005 19:12:58 +0200 |
wenzelm |
manually generated from Isabelle/HOLCF/IOA/Complex/Import;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:25:11 +0200 |
wenzelm |
tuned document;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:24:57 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:11:30 +0200 |
wenzelm |
added with_charset: string -> ('a -> 'b) -> 'a -> 'b;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:11:29 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:11:28 +0200 |
wenzelm |
pretty_thm_aux: aconv hyps;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:11:27 +0200 |
wenzelm |
removed obsolete BasisLibrary;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:11:26 +0200 |
wenzelm |
Hebrew: HTML.with_charset;
|
changeset |
files
|
| Sat, 17 Sep 2005 18:11:25 +0200 |
wenzelm |
removed obsolete BasisLibrary;
|
changeset |
files
|