Tree [bd128c] Isabelle2009 / thys /
History



File Date Author Commit
AVL-Trees 2008-11-17 fhaftmann fhaftmann [cded36] removed let simproc (now in HOL.thy)
Abstract-Hoare-Logics 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
ArrowImpossibilityGS 2009-01-01 makarius makarius [46ce30] avoid implicit use of prems;
BDD 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
BinarySearchTree 2008-10-07 fhaftmann fhaftmann [05d5a2] arbitrary is undefined
BytecodeLogicJmlTypes 2009-01-06 makarius makarius [264c24] simultaneous loading of theories;
Category 2008-12-30 ballarin ballarin [357285] Converted to new locales.
Cauchy 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
ClockSynchInst 2008-10-04 makarius makarius [3f5d61] simplified main Isabelle executables: removed I...
CofGroups 2009-09-05 lsf37 lsf37 [5a44d9] changed entry license to BSD (requested by Bart)
Compiling-Exceptions-Correctly 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
Completeness 2009-09-01 nipkow nipkow [8375e6] tuned
CoreC++ 2009-03-20 makarius makarius [adfdc6] eliminated old-style implicit simpset/claset ac...
Depth-First-Search 2008-10-07 fhaftmann fhaftmann [87f7e0] updated generated file
DiskPaxos 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
Example-Submission 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
FFT 2009-04-29 lsf37 lsf37 [4d0942] reverted funpow/recpow change for Isabelle2009
FOL-Fitting 2009-03-10 fhaftmann fhaftmann [09fba7] fixed proof
FeatherweightJava 2008-10-04 makarius makarius [3f5d61] simplified main Isabelle executables: removed I...
Fermat3_4 2009-03-27 fhaftmann fhaftmann [9f75b4] adjusted proof to additional simp rules for abs
FileRefinement 2008-10-07 fhaftmann fhaftmann [05d5a2] arbitrary is undefined
FinFun 2009-05-25 lsf37 lsf37 [f3b74c] added time limit and proof outline doc
Flyspeck-Tame 2009-04-29 lsf37 lsf37 [4d0942] reverted funpow/recpow change for Isabelle2009
FunWithFunctions 2009-01-31 nipkow nipkow [519e28] fix
FunWithTilings 2008-11-07 nipkow nipkow [4e92ce] *** empty log message ***
Functional-Automata 2008-10-07 fhaftmann fhaftmann [05d5a2] arbitrary is undefined
GenClock 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
Group-Ring-Module 2009-04-29 lsf37 lsf37 [996589] fixed clean target
HotelKeyCards 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
Huffman 2009-01-23 blanchette blanchette [28fb82] Update docs.
Integration 2009-04-29 lsf37 lsf37 [ef262d] revert funpow/relpow change for Isabelle2009
Jinja 2009-04-28 lsf37 lsf37 [107b67] build full image by default
JinjaThreads 2009-05-20 unknown unknown [226163] This commit was manufactured by cvs2svn to crea...
JiveDataStoreModel 2009-03-20 makarius makarius [adfdc6] eliminated old-style implicit simpset/claset ac...
Lazy-Lists-II 2008-10-07 fhaftmann fhaftmann [05d5a2] arbitrary is undefined
LinearQuantifierElim 2009-03-16 makarius makarius [b70d3e] simplified method setup;
MiniML 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
MuchAdoAboutTwo 2008-11-23 makarius makarius [29f578] simultaneous use_thys;
NormByEval 2008-10-27 ballarin ballarin [acdc0c] Removed all occurrences of 'includes'.
Ordinal 2009-03-02 nipkow nipkow [3c7800] fixes
Ordinals_and_Cardinals 2009-09-07 nipkow nipkow [07054d] *** empty log message ***
POPLmark-deBruijn 2009-03-04 nipkow nipkow [2be95b] option fixes
Program-Conflict-Analysis 2008-12-30 ballarin ballarin [357285] Converted to new locales.
RSAPSS 2009-03-03 nipkow nipkow [7dd040] fixes
Ramsey-Infinite 2008-10-04 makarius makarius [85ec6d] replaced ISATOOL by ISABELLE_TOOL;
Recursion-Theory-I 2009-04-02 nipkow nipkow [e63efc] *** empty log message ***
SATSolverVerification 2009-02-14 nipkow nipkow [095c29] fix
SIFPL 2008-11-13 lsf37 lsf37 [4b97a4] manual sync and conflict resolution
SenSocialChoice 2009-03-02 nipkow nipkow [3c7800] fixes
SequentInvertibility 2009-09-01 nipkow nipkow [a89015] *** empty log message ***
Simpl 2009-09-11 lsf37 lsf37 [44c39d] pull Norbert's user guide update into release v...
Slicing 2009-04-29 lsf37 lsf37 [a6e556] browser_info set in Jinja image already
Stream-Fusion 2009-05-11 nipkow nipkow [938fba] *** empty log message ***
SumSquares 2009-02-21 nipkow nipkow [b18379] fixes
Topology 2009-01-01 makarius makarius [46ce30] avoid implicit use of prems;
Valuation 2009-04-28 lsf37 lsf37 [7cc39f] use image produced by Group-Ring-Module
Verified-Prover 2009-03-06 fhaftmann fhaftmann [13a61f] dropped quotes
VolpanoSmith 2009-03-31 wasserra wasserra [7895fc] simplified lowEquivalence
LICENSE 2004-07-23 lsf37 lsf37 [376577] auto sync with Isabelle2004
LICENSE.LGPL 2004-05-25 lsf37 lsf37 [b8330f] auto sync with Isabelle2004