Afp 2008 Log


Commit Date  
[1d883e] by lp15

Completeness gone

2004-09-22 08:36:31 Tree
[4e8809] by lp15

Completeness

2004-09-22 08:31:35 Tree
[da3309] by lp15

Completeness

2004-09-22 08:30:47 Tree
[9ceee0] by lsf37

auto sync with Isabelle2004

2004-09-20 14:18:45 Tree
[e450d8] by nipkow

modified simplifier with antisymmetry

2004-09-13 14:16:09 Tree
[c0f708] by nipkow

new imports syntax

2004-08-19 10:54:14 Tree
[21a699] by nipkow

new import syntax

2004-08-19 10:38:33 Tree
[516574] by nipkow

*** empty log message ***

2004-08-18 07:24:54 Tree
[0ac028] by nipkow

new theory header syntax

2004-08-16 16:35:18 Tree
[8ef488] by nipkow

updated proofs because of new simp rules subset_Un_iff and subset_Int_iff

2004-08-06 08:22:42 Tree
[58b3e9] by nipkow

*** empty log message ***

2004-08-04 18:42:34 Tree
[376577] by lsf37

auto sync with Isabelle2004

2004-07-23 16:17:59 Tree
[74c21e] by lsf37

sync with release version

2004-07-22 06:44:26 Tree
[a19be4] by lsf37

auto sync with Isabelle2004

2004-07-22 06:40:43 Tree
[a7bdff] by lsf37

auto sync with Isabelle2004

2004-07-10 16:18:00 Tree
[0fdf56] by lsf37

auto sync with Isabelle2004

2004-06-24 14:17:52 Tree
[3ee49b] by lsf37

contributions by Achim Brucker, Burkhart Wolff, and Jan Smaus

2004-06-22 02:14:50 Tree
[c0419d] by lsf37

tuned

2004-06-22 02:03:26 Tree
[200de1] by lsf37

(*
We did the following modifications:
- parameterized the tree definitions
- added a "efficient" variant of is-in (is_in_eff)
- some proofs about is_ord and is_in_eff
- a extended tree type that stores balancing information
in its node and some proofs about it

Achim Brucker, Burkhart Wolff and Jan Smaus
*)

2004-06-22 01:46:25 Tree
[a77714] by lsf37

fixed

2004-06-22 01:34:35 Tree
[6b0a25] by makarius

avoid \...\;

2004-06-21 14:40:35 Tree
[1acb0d] by lp15

fixes to keep it running

2004-06-09 16:24:41 Tree
[133be8] by makarius

\<epsilon> replaced by \<some>;

2004-06-06 12:50:54 Tree
[b8330f] by lsf37

auto sync with Isabelle2004

2004-05-25 14:18:35 Tree
[661a58] by lsf37

fixed: add:commute -> add_commute

2004-05-25 08:06:17 Tree
Older >

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks