| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
35f7dccd |
|
23-Feb-2016 |
nipkow <none@none> |
more canonical names
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
8de9033f |
|
29-Oct-2014 |
wenzelm <none@none> |
modernized setup;
|
| #
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
| #
870593bf |
|
15-Mar-2012 |
wenzelm <none@none> |
declare command keywords via theory header, including strict checking outside Pure;
|
| #
a7509197 |
|
06-Nov-2011 |
wenzelm <none@none> |
tuned document;
tuned proofs;
|
| #
6b0b29ec |
|
13-Mar-2011 |
wenzelm <none@none> |
tuned headers;
|
| #
ed1e126b |
|
27-Aug-2010 |
wenzelm <none@none> |
modernized specifications;
|
| #
4d527bca |
|
18-Dec-2008 |
Norbert Schirmer <norbert.schirmer@web.de> |
adapted statespace module to new locales;
|
| #
bf351f56 |
|
16-Dec-2008 |
ballarin <none@none> |
More porting to new locales.
|
| #
e23e99ee |
|
24-Oct-2007 |
wenzelm <none@none> |
be explicit about .ML files;
|
| #
d93a6fb8 |
|
24-Oct-2007 |
schirmer <none@none> |
added Statespace library
|