| Mon, 11 Mar 2013 13:28:46 +0100 |
wenzelm |
support for 'chapter' specifications within session ROOT;
|
changeset |
files
|
| Tue, 12 Mar 2013 19:55:17 +0100 |
nipkow |
added latex markup
|
changeset |
files
|
| Tue, 12 Mar 2013 11:59:26 +0100 |
kleing |
merged
|
changeset |
files
|
| Tue, 12 Mar 2013 11:59:02 +0100 |
kleing |
more snippets
|
changeset |
files
|
| Tue, 12 Mar 2013 11:31:31 +0100 |
nipkow |
added pairs
|
changeset |
files
|
| Tue, 12 Mar 2013 07:51:10 +0100 |
nipkow |
extended set comprehension notation with {pttrn : A . P}
|
changeset |
files
|
| Mon, 11 Mar 2013 18:33:21 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Mon, 11 Mar 2013 12:27:31 +0100 |
nipkow |
more factorisation of Step & Co
|
changeset |
files
|
| Sun, 10 Mar 2013 18:29:10 +0100 |
nipkow |
factored out Step
|
changeset |
files
|
| Sun, 10 Mar 2013 14:36:18 +0100 |
nipkow |
merged
|
changeset |
files
|
| Sun, 10 Mar 2013 14:36:03 +0100 |
nipkow |
stepwise instantiation is more modular
|
changeset |
files
|
| Sun, 10 Mar 2013 11:21:16 +0100 |
haftmann |
generalized subclass relation;
|
changeset |
files
|
| Sun, 10 Mar 2013 10:10:01 +0100 |
nipkow |
termination proof for narrowing: fewer assumptions
|
changeset |
files
|
| Sat, 09 Mar 2013 18:22:20 +0100 |
wenzelm |
accomodate encrypted file-system on linux;
|
changeset |
files
|
| Sat, 09 Mar 2013 13:01:24 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 09 Mar 2013 11:56:01 +0100 |
haftmann |
discontinued theory src/HOL/Library/Eval_Witness -- assumptions do not longer hold in presence of abstract types
|
changeset |
files
|