Tree [653eb8] default tip / thys /
 History

Read Only access


File Date Author Commit
 AVL-Trees 2008-04-22 fhaftmann fhaftmann [2ca722] dropped some recdefs
 Abstract-Hoare-Logics 2008-03-17 makarius makarius [cd97a8] avoid rebinding of existing facts;
 BDD 2008-06-04 makarius makarius [66f7cc] avoid implicit use of prems;
 BinarySearchTree 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
 BytecodeLogicJmlTypes 2008-12-22 nipkow nipkow [38ef5c] *** empty log message ***
 Category 2008-05-07 stefanberghofer stefanberghofer [fc1a73] Rephrased calculational proofs to avoid problem...
 Cauchy 2008-04-02 fhaftmann fhaftmann [073692] tuned
 ClockSynchInst 2008-05-07 stefanberghofer stefanberghofer [2f3522] Instantiated rule someI to avoid problems with ...
 Compiling-Exceptions-Correctly 2008-04-22 fhaftmann fhaftmann [2ca722] dropped some recdefs
 Completeness 2008-05-07 stefanberghofer stefanberghofer [02ced8] Adapted to encoding of sets as predicates.
 CoreC++ 2008-04-15 makarius makarius [f8877d] avoid ambiguous fact references;
 Depth-First-Search 2007-11-05 nipkow nipkow [9f2465] cleaned up
 DiskPaxos 2008-03-17 makarius makarius [63c7ab] avoid rebinding of existing facts;
 Example-Submission 2008-05-17 makarius makarius [5bfe01] avoid undeclared variables within proofs;
 FFT 2007-08-01 makarius makarius [b5ba1f] simplified configuration options -- no separate...
 FOL-Fitting 2007-12-10 fhaftmann fhaftmann [a9e1fc] explicit import of theory Main
 FeatherweightJava 2008-05-17 makarius makarius [5bfe01] avoid undeclared variables within proofs;
 Fermat3_4 2008-03-17 makarius makarius [6d9598] removed duplicate lemmas;
 FileRefinement 2007-10-23 nipkow nipkow [154221] changed back from ~=0 to >0
 Flyspeck-Tame 2008-05-17 makarius makarius [44c0b6] avoid undeclared variables within proofs;
 Functional-Automata 2008-05-07 stefanberghofer stefanberghofer [d57bc7] Inlined definition of epsilon in star, to preve...
 GenClock 2006-05-18 lsf37 lsf37 [9b0fe2] auto sync with Isabelle2005
 Group-Ring-Module 2008-05-07 stefanberghofer stefanberghofer [02ced8] Adapted to encoding of sets as predicates.
 HotelKeyCards 2008-05-07 stefanberghofer stefanberghofer [184301] expand_fun_eq must be applied explicitely, to a...
 Huffman 2008-10-21 lsf37 lsf37 [f049cb] Moved to standard AFP IsaMakefile format
 Integration 2008-05-07 stefanberghofer stefanberghofer [fc1a73] Rephrased calculational proofs to avoid problem...
 Jinja 2008-05-14 makarius makarius [33cc70] eliminated obsolete case rule_context;
 JinjaThreads 2008-05-30 makarius makarius [23e9e1] avoid implicit use of prems;
 JiveDataStoreModel 2008-06-09 makarius makarius [128d30] use regular case_tac method;
 Lazy-Lists-II 2008-04-07 fhaftmann fhaftmann [6c3490] instantiation replacing primitive instance plus...
 LinearQuantifierElim 2008-05-07 stefanberghofer stefanberghofer [02ced8] Adapted to encoding of sets as predicates.
 MiniML 2008-05-07 stefanberghofer stefanberghofer [02ced8] Adapted to encoding of sets as predicates.
 MuchAdoAboutTwo 2008-05-17 makarius makarius [a15263] avoid undeclared variables within proofs;
 NormByEval 2008-04-21 nipkow nipkow [08a805] updated bibtex
 Ordinal 2008-04-22 fhaftmann fhaftmann [2ca722] dropped some recdefs
 POPLmark-deBruijn 2008-05-17 makarius makarius [4dd359] avoid undeclared variables within proofs;
 Program-Conflict-Analysis 2008-05-07 stefanberghofer stefanberghofer [b6a61c] Replaced blast by fastsimp in proof of ntrp_uns...
 RSAPSS 2008-04-24 fhaftmann fhaftmann [9e17e9] dropped some recdefs
 Ramsey-Infinite 2008-05-07 stefanberghofer stefanberghofer [0ca6b4] Instantiated rule arg_cong to avoid problems wi...
 Recursion-Theory-I 2008-05-17 makarius makarius [4dd359] avoid undeclared variables within proofs;
 SATSolverVerification 2008-07-27 lsf37 lsf37 [efe1e7] adjusted margin for long lines
 SIFPL 2008-11-13 nipkow nipkow [345849] *** empty log message ***
 SenSocialChoice 2008-11-17 nipkow nipkow [7d980d] *** empty log message ***
 Simpl 2008-06-09 makarius makarius [4c51e6] DatatypePackage.distinct_simproc;
 Slicing 2008-09-16 lsf37 lsf37 [5a66c6] new entry Slicing pulled in from devel branch
 SumSquares 2007-11-14 stefanberghofer stefanberghofer [2650ef] Replaced obsolete fancyheadings style by fancyhdr.
 Topology 2008-05-07 stefanberghofer stefanberghofer [dbb38d] Replaced forward proofs of existential statemen...
 Valuation 2008-05-07 stefanberghofer stefanberghofer [f73797] Instantiated rule val_t2p to avoid problems wit...
 Verified-Prover 2008-03-17 makarius makarius [cd97a8] avoid rebinding of existing facts;
 VolpanoSmith 2008-09-05 nipkow nipkow [32c76b] New entry
 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