| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
85b3e948 |
|
11-Nov-2017 |
haftmann <none@none> |
dedicated definition for coprimality
--HG--
extra : rebase_source : 891168c98ce62efae6b7e72c7d3365fea12b33ae
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
3f30d088 |
|
22-Apr-2017 |
wenzelm <none@none> |
theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
--HG--
rename : src/HOL/Main.thy => src/HOL/Pre_Main.thy
|
| #
9074de22 |
|
24-Oct-2016 |
blanchet <none@none> |
tuned documentation
|
| #
ac607ceb |
|
24-Oct-2016 |
blanchet <none@none> |
document limitations
|
| #
fb6e504d |
|
24-Oct-2016 |
Andreas Lochbihler <none@none> |
document transfer_prover_eq and friend_of_corec_simps
|
| #
9b9c2176 |
|
12-Aug-2016 |
wenzelm <none@none> |
more symbols;
|
| #
37b50607 |
|
11-Aug-2016 |
wenzelm <none@none> |
clarified antiquotations;
|
| #
0560dc79 |
|
02-Apr-2016 |
blanchet <none@none> |
tuned LaTeX
|
| #
a60bb699 |
|
30-Mar-2016 |
blanchet <none@none> |
more 'corec' docs
|
| #
d0408ac4 |
|
29-Mar-2016 |
blanchet <none@none> |
more 'corec' docs
|
| #
4ffb49b6 |
|
29-Mar-2016 |
blanchet <none@none> |
more 'corec' docs
|
| #
c960fe1d |
|
29-Mar-2016 |
blanchet <none@none> |
more 'corec' documentation
|
| #
010f2dee |
|
29-Mar-2016 |
blanchet <none@none> |
added sketchy 'corec' documentation
|