| #
42e4d508 |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
| #
001933f8 |
|
06-Mar-2012 |
paulson <none@none> |
mathematical symbols for Isabelle/ZF example theories
|
| #
324e98e6 |
|
14-Feb-2012 |
wenzelm <none@none> |
prefer high-level elim_format;
|
| #
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;
|
| #
e92443e4 |
|
24-Jul-2008 |
haftmann <none@none> |
dropped locale (open)
|
| #
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
|
| #
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
|
| #
49ebaab4 |
|
05-Feb-1996 |
clasohm <none@none> |
expanded tabs
|
| #
cc52541b |
|
09-Dec-1995 |
clasohm <none@none> |
removed quotes from consts and syntax sections
|
| #
e19c6bfd |
|
28-Jul-1995 |
lcp <none@none> |
Ran expandshort and changed spelling of Grabczewski
|
| #
129a37a3 |
|
18-May-1995 |
lcp <none@none> |
Krzysztof Grabczewski's (nearly) complete AC proofs
|