isabelle: Changelog

blanchet [Tue, 05 Oct 2010 11:45:10 +0200] rev 39953

hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names

blanchet [Tue, 05 Oct 2010 11:14:56 +0200] rev 39952

clean up debugging output

blanchet [Tue, 05 Oct 2010 11:10:37 +0200] rev 39951

factor out "ATP" from "Sledgehammer" (cf. "SAT" vs. "Refute", etc.) -- the theories now reflect the directory structure

blanchet [Tue, 05 Oct 2010 10:59:12 +0200] rev 39950

got rid of overkill "meson_choice" attribute; tuning

blanchet [Tue, 05 Oct 2010 10:30:50 +0200] rev 39949

more explicit name

blanchet [Tue, 05 Oct 2010 10:28:11 +0200] rev 39948

factor out "Meson_Tactic" from "Meson_Clausify"

blanchet [Mon, 04 Oct 2010 22:51:53 +0200] rev 39947

tuning

blanchet [Mon, 04 Oct 2010 22:45:09 +0200] rev 39946

move Metis into Plain

blanchet [Mon, 04 Oct 2010 22:01:34 +0200] rev 39945

added "Meson" theory to Makefile

blanchet [Mon, 04 Oct 2010 21:57:23 +0200] rev 39944

update authors

isabelle