#
e60cf64d |
|
06-Jan-2019 |
wenzelm <none@none> |
isabelle update -u path_cartouches;
|
#
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
#
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
#
10eb7fb0 |
|
15-May-2011 |
wenzelm <none@none> |
simplified/unified method_setup/attribute_setup;
|
#
7b3a0878 |
|
28-Jan-2010 |
haftmann <none@none> |
new theory Algebras.thy for generic algebraic structures
|
#
b1258973 |
|
16-Mar-2009 |
wenzelm <none@none> |
simplified method setup;
|
#
77d6b267 |
|
13-Mar-2009 |
wenzelm <none@none> |
unified type Proof.method and pervasive METHOD combinators;
|
#
f9609bd5 |
|
16-Jun-2008 |
wenzelm <none@none> |
ptac/prolog_tac: proper context;
|
#
f7800759 |
|
29-Nov-2006 |
wenzelm <none@none> |
simplified method setup;
|
#
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
|
#
644183ca |
|
01-Jun-2000 |
oheimb <none@none> |
added HOL/Prolog
|