| #
3247c55f |
|
22-Nov-2018 |
haftmann <none@none> |
removed legacy input syntax
|
| #
09859749 |
|
18-Nov-2018 |
haftmann <none@none> |
removed legacy input syntax
|
| #
e0d246a1 |
|
29-May-2017 |
eberlm <eberlm@in.tum.de> |
reorganised material on sublists
--HG--
rename : src/HOL/Library/Sublist_Order.thy => src/HOL/Library/Subseq_Order.thy
extra : amend_source : e295fcfca4d0d9db4c5591741cb62b62bb340c87
|
| #
351cc2e6 |
|
17-Oct-2016 |
nipkow <none@none> |
setsum -> sum
|
| #
ef344a77 |
|
25-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
d42838c4 |
|
28-Dec-2015 |
wenzelm <none@none> |
more symbols;
|
| #
f55b23fd |
|
23-Jul-2015 |
wenzelm <none@none> |
more symbols by default, without xsymbols mode;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
7f9cbadc |
|
13-Mar-2012 |
wenzelm <none@none> |
tuned context specifications and proofs;
|
| #
335fd006 |
|
10-Sep-2011 |
wenzelm <none@none> |
misc tuning and clarification;
|
| #
a5f328ca |
|
12-May-2010 |
wenzelm <none@none> |
modernized specifications;
|
| #
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;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
7ebc34e1 |
|
22-Jul-2004 |
nipkow <none@none> |
Modified \<Sum> syntax a little.
|
| #
b6cc7d2f |
|
15-Jul-2003 |
paulson <none@none> |
tidying
|
| #
c34e07e6 |
|
03-Jul-2003 |
paulson <none@none> |
converted UNITY/Comp/{AllocImpl,Client} to Isar scripts
|
| #
64484fd5 |
|
05-Mar-2001 |
paulson <none@none> |
reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
|