isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Wed, 06 Sep 2006 13:48:02 +0200 got rid of Numeral.bin type

haftmann [Wed, 06 Sep 2006 13:48:02 +0200] rev 20485

got rid of Numeral.bin type

Wed, 06 Sep 2006 10:01:27 +0200 now using TypecopyPackage

haftmann [Wed, 06 Sep 2006 10:01:27 +0200] rev 20484

now using TypecopyPackage

Wed, 06 Sep 2006 10:01:04 +0200 TypedefPackage.add_typedef_* now yields name of introduced type constructor

haftmann [Wed, 06 Sep 2006 10:01:04 +0200] rev 20483

TypedefPackage.add_typedef_* now yields name of introduced type constructor

Tue, 05 Sep 2006 22:06:18 +0200 added Barendregt-Geuvers:2001;

wenzelm [Tue, 05 Sep 2006 22:06:18 +0200] rev 20482

added Barendregt-Geuvers:2001;

Tue, 05 Sep 2006 22:05:49 +0200 updated;

wenzelm [Tue, 05 Sep 2006 22:05:49 +0200] rev 20481

updated;

Tue, 05 Sep 2006 22:05:41 +0200 more on types and type classes;

wenzelm [Tue, 05 Sep 2006 22:05:41 +0200] rev 20480

more on types and type classes;

Tue, 05 Sep 2006 22:05:15 +0200 tuned;

wenzelm [Tue, 05 Sep 2006 22:05:15 +0200] rev 20479

tuned;

Tue, 05 Sep 2006 22:04:56 +0200 added \isactrlvec;

wenzelm [Tue, 05 Sep 2006 22:04:56 +0200] rev 20478

added \isactrlvec;

Tue, 05 Sep 2006 16:42:32 +0200 tuned;

wenzelm [Tue, 05 Sep 2006 16:42:32 +0200] rev 20477

tuned;

Tue, 05 Sep 2006 16:42:23 +0200 more on names;

wenzelm [Tue, 05 Sep 2006 16:42:23 +0200] rev 20476

more on names;

Mon, 04 Sep 2006 20:07:55 +0200 tuned;

wenzelm [Mon, 04 Sep 2006 20:07:55 +0200] rev 20475

tuned;

Mon, 04 Sep 2006 19:49:39 +0200 tuned;

wenzelm [Mon, 04 Sep 2006 19:49:39 +0200] rev 20474

tuned;

Mon, 04 Sep 2006 18:41:33 +0200 Using Drule.local_standard to reduce the space usage

paulson [Mon, 04 Sep 2006 18:41:33 +0200] rev 20473

Using Drule.local_standard to reduce the space usage

Mon, 04 Sep 2006 17:06:45 +0200 tuned;

wenzelm [Mon, 04 Sep 2006 17:06:45 +0200] rev 20472

tuned;

Mon, 04 Sep 2006 16:28:36 +0200 updated;

wenzelm [Mon, 04 Sep 2006 16:28:36 +0200] rev 20471

updated;

Mon, 04 Sep 2006 16:28:27 +0200 more on variables;

wenzelm [Mon, 04 Sep 2006 16:28:27 +0200] rev 20470

more on variables; tuned;

Mon, 04 Sep 2006 15:27:30 +0200 More locale test code.

ballarin [Mon, 04 Sep 2006 15:27:30 +0200] rev 20469

More locale test code.

Mon, 04 Sep 2006 15:27:00 +0200 Documented methods intro_locales and unfold_locales.

ballarin [Mon, 04 Sep 2006 15:27:00 +0200] rev 20468

Documented methods intro_locales and unfold_locales.

Mon, 04 Sep 2006 13:55:32 +0200 some corrections in class section

haftmann [Mon, 04 Sep 2006 13:55:32 +0200] rev 20467

some corrections in class section

Mon, 04 Sep 2006 08:18:00 +0200 explicit table with constant types

haftmann [Mon, 04 Sep 2006 08:18:00 +0200] rev 20466

explicit table with constant types

Mon, 04 Sep 2006 08:17:28 +0200 proper project_sort

haftmann [Mon, 04 Sep 2006 08:17:28 +0200] rev 20465

proper project_sort

Sat, 02 Sep 2006 03:10:27 +0200 tuned

webertj [Sat, 02 Sep 2006 03:10:27 +0200] rev 20464

tuned

Sat, 02 Sep 2006 01:10:10 +0200 zchaff_with_proofs: proof is a reference now

webertj [Sat, 02 Sep 2006 01:10:10 +0200] rev 20463

zchaff_with_proofs: proof is a reference now

Fri, 01 Sep 2006 23:18:01 +0200 signature: do not export private stuff;

wenzelm [Fri, 01 Sep 2006 23:18:01 +0200] rev 20462

signature: do not export private stuff;

Fri, 01 Sep 2006 23:04:42 +0200 skolem_cache_thm: Drule.close_derivation on clauses preserves some space;

wenzelm [Fri, 01 Sep 2006 23:04:42 +0200] rev 20461

skolem_cache_thm: Drule.close_derivation on clauses preserves some space; tuned skolem_cache operations: canonical argument order; tuned monomorphic test;

Fri, 01 Sep 2006 20:44:16 +0200 tuned;

wenzelm [Fri, 01 Sep 2006 20:44:16 +0200] rev 20460

tuned;

Fri, 01 Sep 2006 20:40:05 +0200 tuned;

wenzelm [Fri, 01 Sep 2006 20:40:05 +0200] rev 20459

tuned;

Fri, 01 Sep 2006 20:17:31 +0200 explain assumptions;

wenzelm [Fri, 01 Sep 2006 20:17:31 +0200] rev 20458

explain assumptions;

Fri, 01 Sep 2006 08:51:53 +0200 refinements to conversion into clause form, esp for the HO case

paulson [Fri, 01 Sep 2006 08:51:53 +0200] rev 20457

refinements to conversion into clause form, esp for the HO case

Fri, 01 Sep 2006 08:36:55 +0200 pervasive refinements

haftmann [Fri, 01 Sep 2006 08:36:55 +0200] rev 20456

pervasive refinements

(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle