| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
5900a2cf |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
| #
65f3e853 |
|
01-Jan-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
bf6c9bb9 |
|
11-Nov-2014 |
wenzelm <none@none> |
more symbols;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
82c645a3 |
|
10-Feb-2014 |
wenzelm <none@none> |
prefer vacuous definitional type classes over axiomatic ones;
|
| #
af0411f2 |
|
24-Jul-2012 |
wenzelm <none@none> |
more session ROOT files;
|
| #
8a57ae83 |
|
29-Mar-2011 |
wenzelm <none@none> |
modernized specifications -- less axioms;
|
| #
80a964bc |
|
12-Jan-2011 |
wenzelm <none@none> |
eliminated global prems;
|
| #
bdb4e8b0 |
|
03-Sep-2010 |
wenzelm <none@none> |
turned eta_contract into proper configuration option;
|
| #
0c99426e |
|
17-Aug-2010 |
haftmann <none@none> |
deglobalization
|
| #
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations;
formal markup of @{syntax_const} and @{const_syntax};
|
| #
3403212c |
|
08-Feb-2010 |
wenzelm <none@none> |
modernized some syntax translations;
|
| #
08142f67 |
|
23-Jul-2009 |
wenzelm <none@none> |
misc modernization: proper method setup instead of adhoc ML proofs;
|
| #
e0a03d72 |
|
03-Oct-2007 |
wenzelm <none@none> |
avoid unnamed infixes;
tuned;
|
| #
7501e1cc |
|
17-Jul-2006 |
wenzelm <none@none> |
removed obsolete ML files;
|
| #
476a2058 |
|
17-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
03ccc01e |
|
20-Oct-1997 |
wenzelm <none@none> |
adapted to qualified names;
|
| #
f21b472e |
|
10-Oct-1997 |
wenzelm <none@none> |
fixed dots;
|
| #
b7e073bb |
|
17-Mar-1994 |
clasohm <none@none> |
adapted type definition to new syntax
|
| #
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|