| #
e60cf64d |
|
06-Jan-2019 |
wenzelm <none@none> |
isabelle update -u path_cartouches;
|
| #
3347ed1a |
|
03-Nov-2017 |
wenzelm <none@none> |
less global theories -- avoid confusion about special cases;
|
| #
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
|
| #
4b713e59 |
|
16-Oct-2016 |
haftmann <none@none> |
eliminated irregular aliasses
|
| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
ceaee95a |
|
01-Sep-2014 |
blanchet <none@none> |
ported to use new-style datatypes
* * *
compile
|
| #
38907e37 |
|
05-Jul-2014 |
haftmann <none@none> |
prefer ac_simps collections over separate name bindings for add and mult
|
| #
cb851030 |
|
30-Apr-2014 |
berghofe <none@none> |
Discontinued old spark_open; spark_open_siv is now spark_open
|
| #
0b4145c9 |
|
14-Jan-2011 |
berghofe <none@none> |
Added new SPARK verification environment.
|