#
42e4d508 |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
#
68f43bed |
|
23-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
#
0551f7de |
|
01-Nov-2014 |
wenzelm <none@none> |
eliminated spurious semicolons;
|
#
643c34fe |
|
15-Mar-2012 |
paulson <none@none> |
beautification and structured proofs
|
#
001933f8 |
|
06-Mar-2012 |
paulson <none@none> |
mathematical symbols for Isabelle/ZF example theories
|
#
29168e90 |
|
20-Nov-2011 |
wenzelm <none@none> |
eliminated obsolete "standard";
|
#
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
|
#
e7a16ceb |
|
07-Oct-2007 |
wenzelm <none@none> |
modernized specifications; removed legacy ML bindings;
|
#
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
|
#
78231b68 |
|
10-Jul-2002 |
paulson <none@none> |
Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
|
#
afb97ade |
|
21-Jan-2002 |
paulson <none@none> |
lexical tidying
|
#
956fb34f |
|
16-Jan-2002 |
paulson <none@none> |
Isar version of AC
|
#
c13e008c |
|
25-Jul-1995 |
lcp <none@none> |
Numerous small improvements by KG and LCP
|