| #
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
|