#
5f64552a |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
#
744b34a2 |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
#
b0d49015 |
|
26-Jun-2015 |
wenzelm <none@none> |
more symbols; eliminated alternative syntax;
|
#
69b24741 |
|
26-Jun-2015 |
wenzelm <none@none> |
more symbols;
|
#
403911ef |
|
26-Jun-2015 |
wenzelm <none@none> |
more symbols;
|
#
a9672a10 |
|
04-Jul-2014 |
wenzelm <none@none> |
insist in explicit overloading;
|
#
f18c332a |
|
10-Feb-2014 |
wenzelm <none@none> |
prefer vacuous definitional type classes over axiomatic ones;
|
#
53ded129 |
|
20-Mar-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
164ee5c8 |
|
23-Feb-2010 |
haftmann <none@none> |
dropped axclass, going back to purely syntactic type classes
|
#
bd7d809a |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized syntax/translations; tuned headers;
|
#
c2bb62e7 |
|
17-Mar-2008 |
wenzelm <none@none> |
avoid rebinding of existing facts;
|
#
4a856837 |
|
01-Dec-2006 |
wenzelm <none@none> |
TLA: converted legacy ML scripts;
|
#
f55bd273 |
|
07-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
#
543684e4 |
|
01-Dec-2001 |
wenzelm <none@none> |
renamed class "term" to "type" (actually "HOL.type");
|
#
49f4684e |
|
05-Oct-2001 |
wenzelm <none@none> |
tuned;
|
#
0c0fa6ed |
|
08-Feb-1999 |
wenzelm <none@none> |
updated (Stephan Merz);
|