| Wed, 13 Mar 2013 16:03:55 +0100 |
kleing |
merged
|
changeset |
files
|
| Wed, 13 Mar 2013 16:03:40 +0100 |
kleing |
more IMP snippets
|
changeset |
files
|
| Wed, 13 Mar 2013 14:33:15 +0100 |
kuncar |
rename fset_member to fmember and prove parametricity
|
changeset |
files
|
| Wed, 13 Mar 2013 13:23:16 +0100 |
traytel |
BNF uses fset defined via Lifting/Transfer rather than Quotient
|
changeset |
files
|
| Wed, 13 Mar 2013 10:47:00 +0100 |
traytel |
nitpick setup and code generation for streams
|
changeset |
files
|
| Wed, 13 Mar 2013 10:15:01 +0100 |
nipkow |
merged
|
changeset |
files
|
| Wed, 13 Mar 2013 10:14:50 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Tue, 12 Mar 2013 22:44:03 +0100 |
wenzelm |
proper path -- I/O was hidden due to permissiveness;
|
changeset |
files
|
| Tue, 12 Mar 2013 22:24:01 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 12 Mar 2013 22:22:05 +0100 |
wenzelm |
removed odd cvs artifacts;
|
changeset |
files
|
| Tue, 12 Mar 2013 21:59:48 +0100 |
wenzelm |
refurbished some old README.html files as session descriptions, which show up in chapter index;
|
changeset |
files
|
| Tue, 12 Mar 2013 20:03:04 +0100 |
wenzelm |
include session description in chapter index;
|
changeset |
files
|
| Tue, 12 Mar 2013 18:44:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 12 Mar 2013 18:30:28 +0100 |
wenzelm |
more accurate theory links;
|
changeset |
files
|
| Tue, 12 Mar 2013 16:47:24 +0100 |
wenzelm |
discontinued "isabelle usedir" option -r (reset session path);
|
changeset |
files
|
| Mon, 11 Mar 2013 14:25:14 +0100 |
wenzelm |
discontinued "isabelle usedir" option -P (remote path);
|
changeset |
files
|
| 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
|