Wed, 03 Sep 2008 19:52:45 +0200 |
wenzelm |
exclude large .mov files;
|
changeset |
files
|
Wed, 03 Sep 2008 17:50:37 +0200 |
wenzelm |
simplified add_axiom: no hyps;
|
changeset |
files
|
Wed, 03 Sep 2008 17:47:40 +0200 |
wenzelm |
discontinued local axioms -- too difficult to implement, too easy to produce nonsense;
|
changeset |
files
|
Wed, 03 Sep 2008 17:47:38 +0200 |
wenzelm |
axiomatization is now global-only;
|
changeset |
files
|
Wed, 03 Sep 2008 17:47:37 +0200 |
wenzelm |
added const_decl;
|
changeset |
files
|
Wed, 03 Sep 2008 17:47:35 +0200 |
wenzelm |
simplified specify_const: canonical args, global deps;
|
changeset |
files
|
Wed, 03 Sep 2008 17:47:34 +0200 |
wenzelm |
declare_const: Name.binding, store/report position;
|
changeset |
files
|
Wed, 03 Sep 2008 17:47:30 +0200 |
wenzelm |
Sign.declare_const: Name.binding;
|
changeset |
files
|
Wed, 03 Sep 2008 12:11:28 +0200 |
nipkow |
removed ex/Puzzle
|
changeset |
files
|
Wed, 03 Sep 2008 11:44:52 +0200 |
wenzelm |
added qualified: string -> binding -> binding;
|
changeset |
files
|
Wed, 03 Sep 2008 11:44:48 +0200 |
wenzelm |
Name.qualified;
|
changeset |
files
|
Wed, 03 Sep 2008 11:27:15 +0200 |
wenzelm |
theorem dependency hook: check previous state;
|
changeset |
files
|
Wed, 03 Sep 2008 11:26:59 +0200 |
wenzelm |
added pos_of;
|
changeset |
files
|
Wed, 03 Sep 2008 11:18:55 +0200 |
nipkow |
-> AFP
|
changeset |
files
|
Wed, 03 Sep 2008 11:09:08 +0200 |
wenzelm |
simplified Toplevel.add_hook: cover successful transactions only;
|
changeset |
files
|