isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

removed more asm_rl's - unfortunately slowdown of 1 min.
2010-01-03, by nipkow
new year's resolution: reindented code in function package
2010-01-02, by krauss
provide simp and induct rules in Function.info
2010-01-02, by krauss
more official data record Function.info
2010-01-02, by krauss
simplified
2010-01-02, by krauss
absorb structures Decompose and Descent into Termination, to simplify further restructuring
2010-01-02, by krauss
another legacy "asm_lr"
2010-01-02, by nipkow
merged
2010-01-02, by nipkow
removed legacy asm_lr
2010-01-02, by nipkow
merged
2010-01-02, by wenzelm
added lemmas
2010-01-01, by nipkow
added lemma
2010-01-01, by nipkow
removed FIXME
2010-01-01, by nipkow
tuned error handling;
2010-01-02, by wenzelm
Standard_System.raw_execute: optional cwd;
2010-01-02, by wenzelm
Download URLs -- with progress monitor.
2010-01-02, by wenzelm
Future values -- Scala version.
2010-01-01, by wenzelm
added simple dialogs;
2009-12-31, by wenzelm
added is_ready;
2009-12-31, by wenzelm
simplified init message -- removed redundant session property;
2009-12-30, by wenzelm
removed obsolete version check -- sanity delegated to Isabelle_System;
2009-12-30, by wenzelm
eliminated Markup.edits/EDITS: Isar.edit_document reports Markup.edit/EDIT while running under new document id;
2009-12-30, by wenzelm
tuned signature;
2009-12-30, by wenzelm
less ambitious isatest for SML/NJ;
2009-12-30, by wenzelm
killed a few warnings
2009-12-30, by krauss
more regular axiom of infinity, with no (indirect) reference to overloaded constants
2009-12-30, by krauss
back to Unsynchronized.ref, with some attempts to make the main operations actually thread-safe;
2009-12-29, by wenzelm
removed slightly odd Isar_Document.init;
2009-12-29, by wenzelm
explicit session HOL-Proofs -- avoid statefulness of main HOL image wrt. HOL_proofs etc.;
2009-12-29, by wenzelm
tuned;
2009-12-28, by wenzelm

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

isabelle