#
f226bedf |
|
07-Dec-2011 |
blanchet <none@none> |
updated Metis to 20110926 version
|
#
e191c1cd |
|
24-Mar-2011 |
blanchet <none@none> |
new version of Metis 2.3 (29 Dec. 2010)
|
#
ce78ddc0 |
|
16-Sep-2010 |
blanchet <none@none> |
fix license
|
#
4da7acb1 |
|
16-Sep-2010 |
blanchet <none@none> |
updated source files with Metis 2.3 (timestamp: 16 Sept. 2010)
|
#
64999359 |
|
15-Sep-2010 |
blanchet <none@none> |
reintroduce missing "critical"s by hand
|
#
f0c6682f |
|
15-Sep-2010 |
blanchet <none@none> |
MIT license -> BSD License
|
#
eff8d487 |
|
15-Sep-2010 |
blanchet <none@none> |
copied the unmodified official Metis 2.3 (15 Sept. 2010) sources into Isabelle
|
#
89068cf7 |
|
15-Sep-2010 |
blanchet <none@none> |
more Isabelle-specific changes
|
#
62b4e577 |
|
15-Sep-2010 |
blanchet <none@none> |
put "foldl" and "foldr" in "Useful"; Isabelle hides those symbols from List, but by adding them to Useful we have them throughout Metis without "List." prefix
|
#
c6cdbdd0 |
|
15-Sep-2010 |
blanchet <none@none> |
reintroduce the CRITICAL sections from change 3880d21d6013
|
#
96650a0a |
|
13-Sep-2010 |
blanchet <none@none> |
change license, with Joe Hurd's permission
|
#
f3414100 |
|
13-Sep-2010 |
blanchet <none@none> |
new version of the Metis files
|
#
cb6b20e4 |
|
13-Sep-2010 |
blanchet <none@none> |
remove old sources
|
#
ea35949b |
|
13-Nov-2007 |
paulson <none@none> |
patching in the latest changes from Hurd
|
#
1cc4f23d |
|
17-Aug-2007 |
wenzelm <none@none> |
added CRITICAL section markup;
|
#
895f7fa7 |
|
26-Jun-2007 |
paulson <none@none> |
GPL -> BSD
|
#
89e1d065 |
|
20-Jun-2007 |
wenzelm <none@none> |
The Metis prover (slightly modified version from Larry);
|