2004-10-05 paulson auto update
2004-10-05 paulson new simprules for abs and for things like a/b<1
2004-10-04 paulson revised simprules for division
2004-10-04 paulson PDF_VIEWER suggestion
2004-10-04 paulson Abstract for the Isabelle system
2004-10-02 aspinall Add openblock/closeblock to other opengoal/closegoal elements
2004-10-01 aspinall Allow scanning to recover and reconstruct bad input
2004-10-01 paulson patch to "display"
2004-10-01 paulson display-drafts now uses pdf!
2004-10-01 paulson tweaking of arithmetic proofs
2004-10-01 aspinall Comments
2004-09-30 paulson tidied
2004-09-30 kleing display pdf as well as dvi
2004-09-30 schirmer bug-fix with new records
2004-09-29 aspinall Remove white space skipping in element content; XML specification clearly requires whitespace to be passed to application.
2004-09-29 schirmer tuned performance of record definition
2004-09-29 paulson tidying up; identifying the main theorems
2004-09-28 ballarin Changes in "includes".
2004-09-28 ballarin Bug fixes.
2004-09-28 aspinall Add text_charref to encode a string using character references
2004-09-28 aspinall Remove double escaping of backslash in PGML. Remove use of character refs in <whitespace>
2004-09-28 aspinall Fix to unparse to not double-escape backslash
2004-09-27 aspinall Add filenamextns to prover info. Update doc location. Add whitespace element in parseresult
2004-09-27 aspinall Add newline after CDATA for sake of HaXml
2004-09-27 ballarin Modified locales: improved implementation of "includes".
2004-09-23 paulson some x-symbols
2004-09-23 berghofe - Inserted additional check for equality types in check_mode_clause that
2004-09-22 schirmer bug-fix
2004-09-19 paulson converting UNITY/MultisetSum.ML to Isar script
2004-09-17 paulson converted ZF/Induct/Multiset to Isar script
2004-09-13 nipkow *** empty log message ***
2004-09-11 nipkow undoing previous change
2004-09-11 nipkow antisymmetry simproc
2004-09-10 nipkow Added antisymmetry simproc
2004-09-10 obua IntInf.divMod replaced by IntInf.div, IntInt.mod
2004-09-09 nipkow new forward deduction capability for simplifier
2004-09-09 paulson new hooks for resolution by Jia Meng
2004-09-08 aspinall Fix for schema changes in pgiptype
2004-09-08 aspinall Tweak parentnames attribute on opentheory
2004-09-08 aspinall Support parsing of -- {* comments *}. Add extra output channels.
2004-09-08 aspinall Add info and debug output channels.
2004-09-08 obua Adapted FloatArith.ML to SMLNJ 10.0.7
2004-09-07 oheimb integrated Streams with ex/Stream.*; added FOCUS/Fstreams.thy
2004-09-07 oheimb added check against indirect recursion
2004-09-07 nipkow fixed discrete field.
2004-09-07 nipkow tuned "discrete" field
2004-09-06 nipkow made mult_mono_thms generic.
2004-09-06 paulson now rejects degenerate (looping) cases
2004-09-06 paulson new "respects" syntax for the congruent operator
2004-09-03 nipkow *** empty log message ***
2004-09-03 obua float2real is now globally available
2004-09-03 obua Matrix theory
2004-09-03 obua Matrix theory, linear programming
2004-09-03 paulson new theorem symD
2004-09-03 paulson listrel operator for lifting relations to lists
2004-09-02 aspinall Fix file:/// and file://localhost/ to give absolute paths
2004-09-02 aspinall Fix file:/// and file://localhost/ to return local file result
2004-09-02 aspinall Comment about 3.6pre. Clean ups to XML, URL handling. Fix statedisplay double PGML quoting. Accumulate parse errors inside parseresult.
2004-09-02 paulson new example of a quotiented nested data type
2004-09-02 dixon added code to make use of case splitting to prove the specification equations for recursive definitions.
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip