#
e60cf64d |
|
06-Jan-2019 |
wenzelm <none@none> |
isabelle update -u path_cartouches;
|
#
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
5abaa1a1 |
|
17-Oct-2018 |
paulson <lp15@cam.ac.uk> |
new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml
|
#
c7cc1919 |
|
26-Nov-2017 |
wenzelm <none@none> |
more symbols;
|
#
fd7948b3 |
|
23-Feb-2016 |
paulson <lp15@cam.ac.uk> |
New and revised material for (multivariate) analysis
|
#
c9f3da2d |
|
27-Dec-2015 |
wenzelm <none@none> |
discontinued ASCII replacement syntax <->;
|
#
0df376fc |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
85ed9565 |
|
01-Sep-2015 |
wenzelm <none@none> |
eliminated \<Colon>;
|
#
1901affb |
|
18-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
4c648656 |
|
29-Oct-2014 |
wenzelm <none@none> |
modernized setup;
|
#
f1e55886 |
|
21-Nov-2013 |
blanchet <none@none> |
moved meson up the dependency chain
|
#
6d11884a |
|
18-Oct-2013 |
blanchet <none@none> |
killed more "no_atp"s
|
#
e3227796 |
|
22-Aug-2012 |
wenzelm <none@none> |
prefer ML_file over old uses;
|
#
4d9c3edc |
|
22-May-2012 |
blanchet <none@none> |
added "ext_cong_neq" lemma (not used yet); tuning
|
#
247df2ed |
|
02-May-2011 |
wenzelm <none@none> |
added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; proper name bindings;
|
#
bcc285eb |
|
17-Nov-2010 |
huffman <none@none> |
section -> subsection
|
#
c0d2d7bf |
|
05-Oct-2010 |
blanchet <none@none> |
hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names
|
#
c72d8ae3 |
|
05-Oct-2010 |
blanchet <none@none> |
got rid of overkill "meson_choice" attribute; tuning
|
#
d4a380c3 |
|
05-Oct-2010 |
blanchet <none@none> |
factor out "Meson_Tactic" from "Meson_Clausify"
|
#
e8c452f8 |
|
04-Oct-2010 |
blanchet <none@none> |
tuning
|
#
37d247fe |
|
04-Oct-2010 |
blanchet <none@none> |
move Metis into Plain --HG-- rename : src/HOL/Tools/Sledgehammer/metis_reconstruct.ML => src/HOL/Tools/Metis/metis_reconstruct.ML rename : src/HOL/Tools/Sledgehammer/metis_tactics.ML => src/HOL/Tools/Metis/metis_tactics.ML rename : src/HOL/Tools/Sledgehammer/metis_translate.ML => src/HOL/Tools/Metis/metis_translate.ML
|
#
17fc7197 |
|
04-Oct-2010 |
blanchet <none@none> |
update authors
|
#
ec9eb3a8 |
|
04-Oct-2010 |
blanchet <none@none> |
move Meson to Plain
|