SourceForge has been redesigned. Learn more.
Close

Tree [fe8882] default tip / thys /
 History

Read Only access


File Date Author Commit
 AVL-Trees 2009-11-30 lochbihl@i44pc65.info.uni-karlsruhe.de lochbihl@i44pc65.info.uni-karlsruhe.de [135ecb] merged
 Abstract-Hoare-Logics 2011-01-29 wenzelm wenzelm [ba3c3f] modernized specifications;
 Abstract-Rewriting 2011-01-29 wenzelm wenzelm [41cffa] eliminated hard tabs;
 ArrowImpossibilityGS 2011-01-29 wenzelm wenzelm [b33c8c] eliminated hard tabs;
 AutoFocus-Stream 2011-02-24 nipkow nipkow [00ae0a] 3 submissions by D Trachtenherz
 BDD 2011-01-29 wenzelm wenzelm [52c506] eliminated hard tabs;
 BinarySearchTree 2011-01-29 wenzelm wenzelm [4b71f2] modernized headers;
 Binomial-Heaps 2011-01-19 kleing kleing [fcfdcc] merged
 Binomial-Queues 2011-01-19 kleing kleing [fcfdcc] merged
 BytecodeLogicJmlTypes 2011-01-29 wenzelm wenzelm [9f2847] modernized imports;
 Category 2011-01-29 wenzelm wenzelm [16326d] eliminated hard tabs;
 Category2 2011-01-19 kleing kleing [fcfdcc] merged
 Cauchy 2011-01-29 wenzelm wenzelm [beaf07] modernized headers;
 ClockSynchInst 2011-01-29 wenzelm wenzelm [1e2f49] eliminated hard tabs;
 CofGroups 2011-01-29 wenzelm wenzelm [190e0f] eliminated hard tabs;
 Coinductive 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [57186d] merged in last minute devel changes
 Collections 2011-01-19 kleing kleing [fcfdcc] merged
 Compiling-Exceptions-Correctly 2011-01-29 wenzelm wenzelm [802d36] modernized specifications;
 Completeness 2011-01-29 wenzelm wenzelm [e2e8e0] eliminated hard tabs;
 CoreC++ 2011-01-19 kleing kleing [fcfdcc] merged
 DPT-SAT-Solver 2011-01-19 kleing kleing [fcfdcc] merged
 DataRefinementIBP 2011-01-19 kleing kleing [fcfdcc] merged
 Depth-First-Search 2011-01-29 wenzelm wenzelm [adb006] misc tuning and modernization;
 DiskPaxos 2011-01-29 wenzelm wenzelm [1e87ec] eliminated hard tabs;
 Example-Submission 2011-01-29 wenzelm wenzelm [bf9b4a] modernized theory names;
 FFT 2011-01-29 wenzelm wenzelm [b44b4b] tuned proofs;
 FOL-Fitting 2011-01-29 wenzelm wenzelm [431e74] modernized imports;
 FeatherweightJava 2011-01-29 wenzelm wenzelm [356f3d] eliminated hard tabs;
 Fermat3_4 2011-01-29 wenzelm wenzelm [8c0a85] eliminated hard tabs;
 FileRefinement 2011-01-29 wenzelm wenzelm [3993f0] modernized specifications;
 FinFun 2011-01-19 kleing kleing [fcfdcc] merged
 Finger-Trees 2011-01-19 kleing kleing [fcfdcc] merged
 Flyspeck-Tame 2011-01-19 kleing kleing [fcfdcc] merged
 Free-Boolean-Algebra 2011-01-19 kleing kleing [fcfdcc] merged
 Free-Groups 2011-01-19 kleing kleing [fcfdcc] merged
 FunWithFunctions 2011-01-29 wenzelm wenzelm [1047c9] eliminated hard tabs;
 FunWithTilings 2011-01-19 kleing kleing [fcfdcc] merged
 Functional-Automata 2011-01-29 wenzelm wenzelm [c03075] modernized headers;
 Gauss-Jordan-Elim-Fun 2011-08-19 nipkow nipkow [7dd140] added
 GenClock 2009-11-24 lsf37@sourceforge.net lsf37@sourceforge.net [d8e7c7] auto merge from release branch
 General-Triangle 2011-03-31 kleing kleing [f8c315] General Triangle submission by Joachim Breitner
 GraphMarkingIBP 2011-01-19 kleing kleing [fcfdcc] merged
 Group-Ring-Module 2011-02-10 kleing kleing [a695f5] Generate proof document for Group-Ring-Module.
 HRB-Slicing 2011-01-19 kleing kleing [fcfdcc] merged
 HotelKeyCards 2011-01-29 wenzelm wenzelm [06db59] eliminated hard tabs;
 Huffman 2011-01-19 kleing kleing [fcfdcc] merged
 InformationFlowSlicing 2011-01-19 kleing kleing [fcfdcc] merged
 Integration 2011-01-29 wenzelm wenzelm [9cc6dc] eliminated hard tabs;
 Jinja 2011-01-19 kleing kleing [fcfdcc] merged
 JinjaThreads 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [5dc4b1] pulled in more JinjaThreads changes for release
 JiveDataStoreModel 2011-01-29 wenzelm wenzelm [5c5441] eliminated hard tabs;
 KBPs 2011-06-03 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [7a86e0] added config file for KBPs
 Lam-ml-Normalization 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [57186d] merged in last minute devel changes
 LatticeProperties 2011-09-27 kleing kleing [fb1b9d] generate image for use in other entries
 Lazy-Lists-II 2011-01-29 wenzelm wenzelm [361299] eliminated hard tabs;
 LightweightJava 2011-03-01 kleing kleing [f28673] use \url instead of \DeclareUrlCommand\myURL (n...
 LinearQuantifierElim 2011-01-29 wenzelm wenzelm [eea65e] eliminated hard tabs;
 List-Index 2010-06-22 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [22bb2c] auto merge from release branch
 List-Infinite 2011-02-24 nipkow nipkow [00ae0a] 3 submissions by D Trachtenherz
 Locally-Nameless-Sigma 2011-01-19 kleing kleing [fcfdcc] merged
 Lower_Semicontinuous 2011-01-19 kleing kleing [fcfdcc] merged
 Marriage 2011-02-27 kleing kleing [6d2732] fixed email
 Matrix 2011-01-19 kleing kleing [fcfdcc] merged
 Max-Card-Matching 2011-08-15 nipkow nipkow [17685f] new web pages
 MiniML 2011-01-29 wenzelm wenzelm [d69e12] modernized specifications;
 MonoBoolTranAlgebra 2011-09-27 kleing kleing [0555a5] standard IsaMakefile, use LatticeProperties image
 MuchAdoAboutTwo 2011-01-29 wenzelm wenzelm [61f9d2] eliminated hard tabs;
 Nat-Interval-Logic 2011-02-24 nipkow nipkow [00ae0a] 3 submissions by D Trachtenherz
 NormByEval 2011-01-29 wenzelm wenzelm [cc8bc4] eliminated hard tabs;
 Ordinal 2009-11-24 lsf37@sourceforge.net lsf37@sourceforge.net [d8e7c7] auto merge from release branch
 Ordinals_and_Cardinals 2011-01-19 kleing kleing [fcfdcc] merged
 POPLmark-deBruijn 2011-01-29 wenzelm wenzelm [12574f] eliminated hard tabs;
 Perfect-Number-Thm 2011-01-19 kleing kleing [fcfdcc] merged
 Polynomials 2011-01-19 kleing kleing [fcfdcc] merged
 Presburger-Automata 2011-01-19 kleing kleing [fcfdcc] merged
 Program-Conflict-Analysis 2011-01-29 wenzelm wenzelm [afa62c] eliminated hard tabs;
 PseudoHoops 2011-09-27 kleing kleing [1bd3ff] standard IsaMakefile + config; use LatticePrope...
 RIPEMD-160-SPARK 2011-01-20 immler@in.tum.de immler@in.tum.de [34e84d] replaced types with type_synonym and WordDefini...
 RSAPSS 2011-01-29 wenzelm wenzelm [d02c86] modernized imports;
 Ramsey-Infinite 2011-01-29 wenzelm wenzelm [d1e1f8] modernized imports;
 Recursion-Theory-I 2011-01-29 wenzelm wenzelm [d5f4c2] eliminated hard tabs;
 Regular-Sets 2011-01-19 kleing kleing [fcfdcc] merged
 Robbins-Conjecture 2010-06-22 gerwin.klein@nicta.com.au gerwin.klein@nicta.com.au [22bb2c] auto merge from release branch
 SATSolverVerification 2011-01-29 wenzelm wenzelm [54bbf8] eliminated hard tabs;
 SIFPL 2011-01-29 wenzelm wenzelm [8e30f7] modernized specifications;
 SenSocialChoice 2011-01-29 wenzelm wenzelm [0f3705] eliminated hard tabs;
 SequentInvertibility 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [57186d] merged in last minute devel changes
 Shivers-CFA 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [57186d] merged in last minute devel changes
 Simpl 2011-01-29 wenzelm wenzelm [f79bc4] eliminated hard tabs;
 Slicing 2011-01-19 kleing kleing [fcfdcc] merged
 Statecharts 2011-01-19 kleing kleing [fcfdcc] merged
 Stream-Fusion 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [57186d] merged in last minute devel changes
 SumSquares 2011-01-29 wenzelm wenzelm [8c0a85] eliminated hard tabs;
 TLA 2011-11-27 nipkow nipkow [f01853] New entry TLA
 Topology 2011-01-29 wenzelm wenzelm [6a2862] eliminated hard tabs;
 Transitive-Closure 2011-03-14 nipkow nipkow [6f92de] New Entry Transitive-Closure
 Tree-Automata 2011-01-19 kleing kleing [fcfdcc] merged
 Valuation 2011-02-10 kleing kleing [11a0c7] Generate document for Valuation.
 Verified-Prover 2011-01-29 wenzelm wenzelm [799eec] eliminated hard tabs;
 VolpanoSmith 2011-01-29 wenzelm wenzelm [0b4d04] eliminated hard tabs;
 WorkerWrapper 2011-02-02 <gerwin.klein@nicta.com.au> <gerwin.klein@nicta.com.au> [57186d] merged in last minute devel changes
 LICENSE 2004-07-23 lsf37 lsf37 [376577] auto sync with Isabelle2004
 LICENSE.LGPL 2004-05-25 lsf37 lsf37 [b8330f] auto sync with Isabelle2004