isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 01 Jun 2010 10:48:38 +0200 Use Proofterm.forall_intr_proof' instead of locally defined forall_intr_prf.

changeset

berghofe [Tue, 01 Jun 2010 10:48:38 +0200] rev 37228

Use Proofterm.forall_intr_proof' instead of locally defined forall_intr_prf.

Tue, 01 Jun 2010 10:46:47 +0200 - Added extra flag to read_term and read_proof functions that allows to parse (proof)terms in which

changeset

berghofe [Tue, 01 Jun 2010 10:46:47 +0200] rev 37227

- Added extra flag to read_term and read_proof functions that allows to parse (proof)terms in which all type variables have the top sort - Adapted proof_of_term to handle proofs with explicit class membership proofs

Tue, 01 Jun 2010 11:37:41 +0200 merged

changeset

wenzelm [Tue, 01 Jun 2010 11:37:41 +0200] rev 37226

merged

Tue, 01 Jun 2010 11:18:51 +0200 merged

changeset

haftmann [Tue, 01 Jun 2010 11:18:51 +0200] rev 37225

merged

Tue, 01 Jun 2010 10:30:54 +0200 corrected printing of characters

changeset

haftmann [Tue, 01 Jun 2010 10:30:54 +0200] rev 37224

corrected printing of characters

Tue, 01 Jun 2010 10:30:53 +0200 corrected implementation

changeset

haftmann [Tue, 01 Jun 2010 10:30:53 +0200] rev 37223

corrected implementation

Tue, 01 Jun 2010 10:30:53 +0200 added Scala code setup

changeset

haftmann [Tue, 01 Jun 2010 10:30:53 +0200] rev 37222

added Scala code setup

Tue, 01 Jun 2010 10:30:53 +0200 tuned code setup

changeset

haftmann [Tue, 01 Jun 2010 10:30:53 +0200] rev 37221

tuned code setup

Tue, 01 Jun 2010 11:37:24 +0200 keep structure ThyLoad for the sake of Proof General;

changeset

wenzelm [Tue, 01 Jun 2010 11:37:24 +0200] rev 37220

keep structure ThyLoad for the sake of Proof General;

Tue, 01 Jun 2010 09:12:12 +0200 added random instance for word

changeset

haftmann [Tue, 01 Jun 2010 09:12:12 +0200] rev 37219

added random instance for word

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

isabelle

RSS Atom