#
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
#
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
744b34a2 |
|
11-Jan-2016 |
wenzelm <none@none> |
eliminated old defs;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
bc193659 |
|
08-Aug-2011 |
huffman <none@none> |
rename Pair_fst_snd_eq to prod_eq_iff (keeping old name too)
|
#
8a93cad0 |
|
30-Mar-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
0e0fb83b |
|
12-May-2010 |
wenzelm <none@none> |
removed obsolete CVS Ids;
|
#
ce8fb085 |
|
07-May-2008 |
berghofe <none@none> |
Adapted to encoding of sets as predicates
|
#
348f2c09 |
|
27-Sep-2007 |
paulson <none@none> |
removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering theorems of Nat.thy are hidden by the Ordering.thy versions
|
#
d40b76b8 |
|
06-Jun-2006 |
wenzelm <none@none> |
removed obsolete ML files;
|
#
759ed3d1 |
|
06-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
#
b8ee618e |
|
08-Aug-2001 |
paulson <none@none> |
Main is the proper parent of IOA
|
#
d37ae754 |
|
08-Jan-1998 |
oheimb <none@none> |
corrected Title
|
#
39c87116 |
|
10-Oct-1997 |
wenzelm <none@none> |
fixed dots;
|
#
8c63de11 |
|
30-Apr-1997 |
mueller <none@none> |
old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
|