Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
*** empty log message ***
2002-10-01, by nipkow
Added some comments on new simplifier.
2002-10-01, by berghofe
Documented new "asm_lr" option for simp.
2002-10-01, by berghofe
Adapted to new simplifier.
2002-10-01, by berghofe
Numerous cosmetic changes, prompted by the new simplifier
2002-10-01, by paulson
Deleted superfluous dest_implies.
2002-10-01, by berghofe
*** empty log message ***
2002-09-30, by nipkow
Adapted to new simplifier.
2002-09-30, by berghofe
Adapted to new simplifier.
2002-09-30, by berghofe
Fixed bug in expand_proof which caused indexes to be incremented incorrectly.
2002-09-30, by berghofe
Added check for axioms with "realizes Null A = A".
2002-09-30, by berghofe
Added function elim_vars.
2002-09-30, by berghofe
Completely reimplemented mutual simplification of premises.
2002-09-30, by berghofe
Removed nRS again because extract_rews now takes care of preserving names.
2002-09-30, by berghofe
Added syntax for "asm_lr" simplifier option.
2002-09-30, by berghofe
- eliminated thin_leading_eqs_tac
2002-09-30, by berghofe
Introduced addss', which adds asm_lr_simp_tac as a wrapper to the claset.
2002-09-30, by berghofe
- additional congruence rules for boolean operators
2002-09-30, by berghofe
Adapted to new simplifier.
2002-09-30, by berghofe
Removed nRS again because extract_rews now takes care of preserving names.
2002-09-30, by berghofe
Added elim_vars to preprocessor.
2002-09-30, by berghofe
Fixed problem with induct_conj_curry: variable C should have type prop.
2002-09-30, by berghofe
fixes !!-bound vars in induction statement automatically
2002-09-30, by nipkow
modified induct method
2002-09-30, by nipkow
Proof tidying
2002-09-27, by paulson
Isar experiments, etc.
2002-09-27, by paulson
Tidied. New Pi-theorem.
2002-09-27, by paulson
new Ring example
2002-09-27, by paulson
Isar proof
2002-09-27, by paulson
Modules theory added
2002-09-27, by paulson
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip