Afp 2013 Log


Commit Date  
[f94c07] by gerwin.klein@nicta.com.au

Added tag Isabelle2013 for changeset bfe8d4f24e47

2013-01-30 09:45:24 Tree
[bfe8d4] (Isabelle2013) by Gerwin Klein Gerwin Klein

Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows

2013-01-28 10:47:41 Tree
[ebac35] by Gerwin Klein Gerwin Klein

Aux.thy -> Auxiliary.thy, because AUX is a reserved name on Windows

2013-01-28 10:41:52 Tree
[3669dd] by Christian Sternagel

added lemma

2013-01-26 11:55:04 Tree
[9d4ba9] by Christian Sternagel

added some lemmas

2013-01-26 07:21:55 Tree
[33b98f] by Christian Sternagel

theory on interaction between wqos and wpos

2013-01-26 06:18:34 Tree
[d05e90] by Christian Sternagel

added lemma

2013-01-25 02:51:29 Tree
[c1cb5f] by Rene Thiemann Rene Thiemann

shorter proof for inequality for sqrt_int

2013-01-24 15:01:49 Tree
[b80373] by Christian Sternagel

added lemmas

2013-01-24 05:04:02 Tree
[f4cda0] by Christian Sternagel

lemma on building a new wpo by restricting a given wpo by the preimage of a second wpo

2013-01-23 07:43:55 Tree
[9d8b80] by Christian Sternagel

provide name (that can be used in induction rule)

2013-01-23 07:42:23 Tree
[b9d6df] by Christian Sternagel

corrected dependency; ommit some theories in document preparation

2013-01-22 08:11:55 Tree
[634a6d] by Christian Sternagel

some facts about converse relations

2013-01-22 03:49:20 Tree
[18851e] by Christian Sternagel

intro rule for partial-orders

2013-01-22 02:54:44 Tree
[53ca7b] by Christian Sternagel

well-partial-order variant of the tree theorem (for terms)

2013-01-22 02:38:54 Tree
[0bf3cf] by Christian Sternagel

also process Well_Quasi_Orders

2013-01-22 02:31:37 Tree
[8d72ed] by Christian Sternagel

new theory on well-partial-orders

2013-01-22 02:30:58 Tree
[fc69db] by Christian Sternagel

added partial orders (po_on); if every extension of a partial order is well-founded, then its reflexive closure is almost-full

2013-01-21 08:18:00 Tree
[a1c605] by Christian Sternagel

added lemmas

2013-01-20 12:46:52 Tree
[bf9b14] by Christian Sternagel

merged

2013-01-19 03:55:37 Tree
[84d386] by Christian Sternagel

new lemma for constructing almost-full relations; every infinite sequence w.r.t. an almost-full set allows an infinite subchain

2013-01-19 03:54:24 Tree
[2fe7c0] by immler

added example for comparison with analytically obtained bounds

2013-01-18 17:40:04 Tree
[660e7b] by immler

generalized bcontfun to functions into metric spaces

2013-01-18 16:47:13 Tree
[082b38] by webertj

Updated from Isabelle2012 to Isabelle:00d87ade2294.

2013-01-18 14:09:16 Tree
[cee95a] by Ren? Thiemann Ren? Thiemann

sqrt_approx never gives precise result

2013-01-17 12:46:44 Tree
Older >

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

Sign up for the SourceForge newsletter:





No, thanks