Tree [6c74c6] Isabelle2007 / thys /
History



File Date Author Commit
AVL-Trees 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
Abstract-Hoare-Logics 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
BDD 2008-03-07 lsf37 lsf37 [404a0f] final (?) fix of the IsaMakefile
BinarySearchTree 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
Category 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
Cauchy 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
ClockSynchInst 2007-10-23 nipkow nipkow [154221] changed back from ~=0 to >0
Compiling-Exceptions-Correctly 2007-07-22 makarius makarius [771034] tuned specifications: 'definition';
Completeness 2007-11-05 nipkow nipkow [9f2465] cleaned up
CoreC++ 2007-10-05 nipkow nipkow [c9bfc4] bug fixes
Depth-First-Search 2007-11-05 nipkow nipkow [9f2465] cleaned up
DiskPaxos 2007-10-23 nipkow nipkow [154221] changed back from ~=0 to >0
Example-Submission 2007-11-12 nipkow nipkow [02d020] tuned
FFT 2007-08-01 makarius makarius [b5ba1f] simplified configuration options -- no separate...
FOL-Fitting 2007-08-18 makarius makarius [326e98] tuned document setup: drop theory begin/end;
FeatherweightJava 2007-08-12 makarius makarius [2a1810] added type constraints to resolve syntax ambigu...
Fermat3_4 2007-11-14 stefanberghofer stefanberghofer [2650ef] Replaced obsolete fancyheadings style by fancyhdr.
FileRefinement 2007-10-23 nipkow nipkow [154221] changed back from ~=0 to >0
Flyspeck-Tame 2008-01-04 nipkow nipkow [a67d6a] updated
Functional-Automata 2007-07-22 makarius makarius [44bb4a] simultaneous use_thys;
GenClock 2006-05-18 lsf37 lsf37 [9b0fe2] auto sync with Isabelle2005
Group-Ring-Module 2007-10-23 nipkow nipkow [154221] changed back from ~=0 to >0
HotelKeyCards 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
Integration 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
Jinja 2007-11-08 makarius makarius [9aade4] eliminated illegal schematic vars in where/of;
JinjaThreads 2007-12-03 nipkow nipkow [5f3f91] *** empty log message ***
JiveDataStoreModel 2007-11-14 stefanberghofer stefanberghofer [2650ef] Replaced obsolete fancyheadings style by fancyhdr.
Lazy-Lists-II 2007-08-07 makarius makarius [f1f05a] explicit imports from "~~/src/HOL/Induct";
LinearQuantifierElim 2008-03-07 lsf37 lsf37 [b5eebc] fix dependency to point to image
MiniML 2007-10-03 makarius makarius [e65ef6] modernized specifications;
MuchAdoAboutTwo 2008-01-01 lsf37 lsf37 [104465] switched to standard AFP IsaMakefile
NormByEval 2008-02-22 nipkow nipkow [2d0dc4] fixed bibtex
Ordinal 2007-10-18 fhaftmann fhaftmann [196c3e] localized mono predicate
POPLmark-deBruijn 2007-10-16 stefanberghofer stefanberghofer [b799fe] Added comment.
Program-Conflict-Analysis 2007-12-20 nipkow nipkow [ee69fb] typo
RSAPSS 2007-10-23 nipkow nipkow [154221] changed back from ~=0 to >0
Ramsey-Infinite 2007-08-02 makarius makarius [95a217] turned simp_depth_limit into configuration option;
Recursion-Theory-I 2008-04-11 lp15 lp15 [59c81d] new submission
Simpl 2008-03-07 lsf37 lsf37 [ed54a5] add headers with license and maintainer info
SumSquares 2007-11-14 stefanberghofer stefanberghofer [2650ef] Replaced obsolete fancyheadings style by fancyhdr.
Topology 2007-08-07 makarius makarius [5f16a0] simultaneous use_thys;
Valuation 2007-10-25 nipkow nipkow [5d8f4f] fixed
Verified-Prover 2007-08-07 makarius makarius [d18689] tuned;
LICENSE 2004-07-23 lsf37 lsf37 [376577] auto sync with Isabelle2004
LICENSE.LGPL 2004-05-25 lsf37 lsf37 [b8330f] auto sync with Isabelle2004