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

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

Sign up for the SourceForge newsletter:





No, thanks