| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
56730d74 |
|
06-Oct-2015 |
wenzelm <none@none> |
fewer aliases for toplevel theorem statements;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
0baab232 |
|
28-Feb-2013 |
wenzelm <none@none> |
eliminated legacy 'axioms';
|
| #
a520307e |
|
14-Feb-2012 |
wenzelm <none@none> |
more conventional tactic setup;
|
| #
2f53d74a |
|
13-May-2011 |
wenzelm <none@none> |
proper Proof.context for classical tactics;
reduced claset to snapshot of classical context;
discontinued clasimpset;
|
| #
f95e18b9 |
|
20-Dec-2010 |
wenzelm <none@none> |
proper identifiers for consts and types;
|
| #
52bca335 |
|
23-Apr-2010 |
wenzelm <none@none> |
mark schematic statements explicitly;
|
| #
94b29512 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized syntax/translations;
|
| #
7b3a0878 |
|
28-Jan-2010 |
haftmann <none@none> |
new theory Algebras.thy for generic algebraic structures
|
| #
daa3e3e2 |
|
20-Nov-2006 |
wenzelm <none@none> |
HOL-Prolog: converted legacy ML scripts;
|
| #
7f339854 |
|
07-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
| #
242acfe5 |
|
11-Jun-2002 |
oheimb <none@none> |
added the usual file headers
|
| #
543684e4 |
|
01-Dec-2001 |
wenzelm <none@none> |
renamed class "term" to "type" (actually "HOL.type");
|
| #
644183ca |
|
01-Jun-2000 |
oheimb <none@none> |
added HOL/Prolog
|