Mercurialisabelle / summary
summary | shortlog | changelog | graph | tags | branches | files | gz
 
descriptionThe Isabelle repository
ownerunknown
last changeMon, 22 Mar 2010 15:07:07 +0100
changes
69 minutes ago blanchet 2010-03-22 detect OFCLASS() axioms in Nitpick; this is necessary now that "Thy.all_axioms_of" returns such axiom (starting with change 46cfc4b8112e) default tip changeset | files
2 hours ago bulwahn 2010-03-22 merged changeset | files
7 hours ago bulwahn 2010-03-22 contextifying the compilation of the predicate compiler changeset | files
7 hours ago bulwahn 2010-03-22 removed unused Predicate_Compile_Set changeset | files
7 hours ago bulwahn 2010-03-22 avoiding fishing for split_asm rule in the predicate compiler changeset | files
7 hours ago bulwahn 2010-03-22 contextifying the proof procedure in the predicate compiler changeset | files
7 hours ago bulwahn 2010-03-22 making flat triples to nested tuple to remove general triple functions changeset | files
7 hours ago bulwahn 2010-03-22 reduced the debug output functions from 2 to 1 changeset | files
7 hours ago bulwahn 2010-03-22 some improvements thanks to Makarius source code review changeset | files
7 hours ago bulwahn 2010-03-22 adding proof procedure for cases rule with tuples; adding introduction rule for negated premises; improving proof procedure with negated premises changeset | files
...
tags
3 months ago Isabelle2009-1 changeset | changelog | files
11 months ago Isabelle2009 changeset | changelog | files
21 months ago Isabelle2008 changeset | changelog | files
2007-11-22 Isabelle2007 changeset | changelog | files
2006-03-08 nominal_03 changeset | changelog | files
2006-01-11 nominal_02 changeset | changelog | files
2005-12-09 nominal_01 changeset | changelog | files
2005-09-30 Isabelle2005 changeset | changelog | files
2004-04-19 Isabelle2004_0 changeset | changelog | files
2003-05-13 Isabelle2003 changeset | changelog | files
...
branches
69 minutes ago 02595d4a3a7c default changeset | changelog | files
...
isabelle