#
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
#
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
35f7dccd |
|
23-Feb-2016 |
nipkow <none@none> |
more canonical names
|
#
0c1e20b2 |
|
10-Jan-2012 |
berghofe <none@none> |
Replaced perm_set_eq by perm_set_def
|
#
216c8115 |
|
16-Jan-2011 |
wenzelm <none@none> |
tuned headers;
|
#
b97be2fb |
|
22-Nov-2010 |
hoelzl <none@none> |
Replace surj by abbreviation; remove surj_on.
|
#
66151938 |
|
08-Jun-2010 |
haftmann <none@none> |
tuned quotes, antiquotations and whitespace
|
#
d9c24413 |
|
25-Jun-2008 |
urbanc <none@none> |
typo
|
#
ce8fb085 |
|
07-May-2008 |
berghofe <none@none> |
Adapted to encoding of sets as predicates
|
#
cd5ecf2a |
|
12-Mar-2008 |
urbanc <none@none> |
tuned
|
#
56bcf215 |
|
11-Feb-2008 |
urbanc <none@none> |
tuned proofs and comments
|
#
214105d3 |
|
08-Jan-2008 |
urbanc <none@none> |
tuned proofs
|
#
5a64f8c1 |
|
31-Dec-2007 |
urbanc <none@none> |
tuned proofs and comments
|
#
da7d4636 |
|
21-Oct-2007 |
urbanc <none@none> |
tuned
|
#
ae020191 |
|
07-Oct-2007 |
urbanc <none@none> |
added two new example files
|