#
09859749 |
|
18-Nov-2018 |
haftmann <none@none> |
removed legacy input syntax
|
#
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
#
2df4ddef |
|
10-Aug-2016 |
nipkow <none@none> |
"split add" -> "split"
|
#
35f7dccd |
|
23-Feb-2016 |
nipkow <none@none> |
more canonical names
|
#
548fd697 |
|
13-Mar-2012 |
wenzelm <none@none> |
tuned proofs;
|
#
ed418196 |
|
28-Dec-2011 |
wenzelm <none@none> |
reverted some changes for set->predicate transition, according to "hg log -u berghofe -r Isabelle2007:Isabelle2008"; tuned proofs;
|
#
5c541a07 |
|
13-Dec-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
f4961062 |
|
20-Nov-2011 |
wenzelm <none@none> |
eliminated obsolete "standard";
|
#
9b4853bb |
|
23-Apr-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
deac04eb |
|
22-Jul-2010 |
wenzelm <none@none> |
updated some headers;
|
#
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;
|
#
8be19d28 |
|
07-May-2008 |
berghofe <none@none> |
- Tuned imports - Replaced blast by simp in proof of Stable_final_E_NOT_empty, since blast looped because of the new encoding of sets.
|
#
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
|
#
681aa5e4 |
|
05-Feb-2003 |
paulson <none@none> |
more tidying
|
#
4f0c87b6 |
|
24-Jan-2003 |
paulson <none@none> |
Partial conversion of UNITY to Isar new-style theories
|
#
6ddaa347 |
|
05-Oct-2001 |
wenzelm <none@none> |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
|
#
6cd9afc8 |
|
06-Aug-2001 |
paulson <none@none> |
Converted 1 to 1'
|
#
35842404 |
|
05-Mar-2001 |
paulson <none@none> |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|