Tree [0b0f24] default Isabelle2012 / thys /
 History



File Date Author Commit
 AVL-Trees 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Abortable_Linearizable_Modules 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Abstract-Hoare-Logics 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Abstract-Rewriting 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 ArrowImpossibilityGS 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 AutoFocus-Stream 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 BDD 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 BinarySearchTree 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Binomial-Heaps 2011-01-19 kleing kleing [fcfdcc] merged
 Binomial-Queues 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 BytecodeLogicJmlTypes 2011-01-29 wenzelm wenzelm [9f2847] modernized imports;
 Category 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Category2 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Cauchy 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 ClockSynchInst 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 CofGroups 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Coinductive 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Collections 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Compiling-Exceptions-Correctly 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Completeness 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 CoreC++ 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 DPT-SAT-Solver 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 DataRefinementIBP 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Depth-First-Search 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Dijkstra_Shortest_Path 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 DiskPaxos 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Efficient-Mergesort 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Example-Submission 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FFT 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FOL-Fitting 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FeatherweightJava 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Fermat3_4 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FileRefinement 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FinFun 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Finger-Trees 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Flyspeck-Tame 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Free-Boolean-Algebra 2011-01-19 kleing kleing [fcfdcc] merged
 Free-Groups 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FunWithFunctions 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 FunWithTilings 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Functional-Automata 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Gauss-Jordan-Elim-Fun 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 GenClock 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 General-Triangle 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Girth_Chromatic 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 GraphMarkingIBP 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Group-Ring-Module 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 HRB-Slicing 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 HotelKeyCards 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Huffman 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Inductive_Confidentiality 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 InformationFlowSlicing 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Integration 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Jinja 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 JinjaThreads 2012-05-23 wenzelm wenzelm [dec017] eliminated old fastsimp;
 JiveDataStoreModel 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 KBPs 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Lam-ml-Normalization 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 LatticeProperties 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Lazy-Lists-II 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 LightweightJava 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 LinearQuantifierElim 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 List-Index 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 List-Infinite 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Locally-Nameless-Sigma 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Lower_Semicontinuous 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Markov_Models 2012-05-23 hoelzl hoelzl [0b0f24] add probably_innocent
 Marriage 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Matrix 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Max-Card-Matching 2011-08-15 nipkow nipkow [17685f] new web pages
 MiniML 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 MonoBoolTranAlgebra 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 MuchAdoAboutTwo 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Myhill-Nerode 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Nat-Interval-Logic 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 NormByEval 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Ordinal 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Ordinals_and_Cardinals 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Ordinary_Differential_Equations 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 POPLmark-deBruijn 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Perfect-Number-Thm 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Polynomials 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Presburger-Automata 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Program-Conflict-Analysis 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 PseudoHoops 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 RIPEMD-160-SPARK 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 RSAPSS 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Ramsey-Infinite 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Recursion-Theory-I 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Refine_Monadic 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Regular-Sets 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Robbins-Conjecture 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 SATSolverVerification 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 SIFPL 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 SenSocialChoice 2012-03-15 nipkow nipkow [1d44da] The
 Separation_Algebra 2012-05-12 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [91b890] not relevant for AFP
 SequentInvertibility 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Shivers-CFA 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Simpl 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Slicing 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Statecharts 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Stream-Fusion 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Stuttering_Equivalence 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 SumSquares 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 TLA 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Topology 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Transitive-Closure 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Transitive-Closure-II 2012-03-15 nipkow nipkow [1d44da] The
 Tree-Automata 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Valuation 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Verified-Prover 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 VolpanoSmith 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 Well_Quasi_Orders 2012-05-18 Christian Sternagel Christian Sternagel [34b54f] Higman's Lemma already holds for almost full re...
 WorkerWrapper 2012-05-11 lsf37@users.sourceforge.net lsf37@users.sourceforge.net [dcfc5e] merged
 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