#
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
#
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
548fd697 |
|
13-Mar-2012 |
wenzelm <none@none> |
tuned proofs;
|
#
dc6cdd46 |
|
21-Feb-2012 |
wenzelm <none@none> |
tuned proofs;
|
#
6337ab39 |
|
12-Nov-2011 |
wenzelm <none@none> |
tuned proofs;
|
#
baea5702 |
|
01-Mar-2010 |
haftmann <none@none> |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
#
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
|
#
263e675f |
|
27-Jul-2009 |
krauss <none@none> |
"more standard" argument order of relation composition (op O)
|
#
121e82fb |
|
04-Mar-2009 |
blanchet <none@none> |
Merge.
|
#
bb2d682e |
|
02-Mar-2009 |
nipkow <none@none> |
name changes
|
#
a84018cb |
|
24-Jul-2008 |
haftmann <none@none> |
added class preorder
|
#
7e8dd8a3 |
|
11-Jul-2007 |
berghofe <none@none> |
Adapted to new inductive definition package.
|
#
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
#
883f343f |
|
01-Feb-2005 |
paulson <none@none> |
the new subst tactic, by Lucas Dixon
|
#
1674bc09 |
|
31-Jan-2003 |
paulson <none@none> |
conversion to new-style theories and tidying
|
#
543684e4 |
|
01-Dec-2001 |
wenzelm <none@none> |
renamed class "term" to "type" (actually "HOL.type");
|
#
e704e1bc |
|
10-Jun-1999 |
paulson <none@none> |
using the new GenPrefix theory
|
#
f48984e1 |
|
24-May-1999 |
paulson <none@none> |
lists are partially ordered by the prefix relation
|