| #
2531ee45 |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
2257dcda |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
001933f8 |
|
06-Mar-2012 |
paulson <none@none> |
mathematical symbols for Isabelle/ZF example theories
|
| #
48096e82 |
|
03-Dec-2010 |
wenzelm <none@none> |
recoded latin1 as utf8;
use textcomp for some text symbols where it appears appropriate;
|
| #
458a4961 |
|
13-Mar-2010 |
wenzelm <none@none> |
removed old CVS Ids;
tuned headers;
|
| #
3de1f286 |
|
06-Jun-2006 |
wenzelm <none@none> |
quoted "if";
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
015e4b4b |
|
19-Jun-2003 |
paulson <none@none> |
Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
|
| #
9233c779 |
|
30-Sep-2002 |
berghofe <none@none> |
Adapted to new simplifier.
|
| #
6ab7a33a |
|
29-Dec-2001 |
wenzelm <none@none> |
tuned document sources;
|
| #
b2216c28 |
|
28-Dec-2001 |
paulson <none@none> |
conversion to Isar/ZF
|
| #
49ebaab4 |
|
05-Feb-1996 |
clasohm <none@none> |
expanded tabs
|
| #
1d25738f |
|
12-Aug-1994 |
lcp <none@none> |
re-organized using new theory sections
|
| #
1d5b13a3 |
|
21-Jul-1994 |
nipkow <none@none> |
Initial revision
|