isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

some new results
2004-03-05, by paulson
Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal
2004-03-05, by paulson
patch to NumberTheory problems caused by Parity
2004-03-05, by paulson
do not remove heaps, used for afp test
2004-03-05, by kleing
Lex: ML -> thy
2004-03-04, by nipkow
ML -> Isar
2004-03-04, by nipkow
new material from Avigad, and simplified treatment of division by 0
2004-03-04, by paulson
Removed ML files from Lex
2004-03-04, by nipkow
Conversion of ML files to Isar.
2004-03-04, by nipkow
added record_ex_sel_eq_simproc
2004-03-03, by schirmer
fixed bugs in the setup of arithmetic procedures
2004-03-02, by paulson
converted Hyperreal/IntFloor to Isar script
2004-03-02, by paulson
tuned. proofs still gruesome..
2004-03-02, by kleing
converted MiniML to Isar
2004-03-02, by kleing
converted to Isar
2004-03-02, by kleing
new Ring_and_Field hierarchy, eliminating redundant axioms
2004-03-01, by paulson
converted Hyperreal/HTranscendental to Isar script
2004-03-01, by paulson
converted to Isar
2004-03-01, by kleing
union/intersection over intervals
2004-03-01, by kleing
Added specific code generator for number_of.
2004-02-29, by berghofe
converted Hyperreal/Series to Isar script
2004-02-26, by paulson
converted Hyperreal/NatStar to Isar script
2004-02-26, by paulson
corrected authors
2004-02-26, by nipkow
converted Hyperreal/HSeries to Isar script
2004-02-25, by paulson
find_tname now handles parameter renaming properly ("as they are printed").
2004-02-25, by berghofe
converted Hyperreal/Log and Hyperreal/HLog to Isar scripts
2004-02-24, by paulson
converted NSCA to Isar script
2004-02-24, by paulson
converted HOL/Complex/NSInduct to Isar script
2004-02-23, by paulson
converted HOL/Complex/NSCA to Isar script
2004-02-23, by paulson
conversion of Complex/CStar to Isar script
2004-02-21, by paulson
conversion of Complex/CSeries to Isar script
2004-02-21, by paulson
conversion of Complex/CLim to Isar script
2004-02-21, by paulson
Transitive_Closure: added consumes and case_names attributes
2004-02-21, by nipkow
new "where" section
2004-02-20, by paulson
moved lemmas from MicroJava/Comp/AuxLemmas.thy to List.thy
2004-02-20, by nipkow
removal of the legacy ML structure List
2004-02-19, by paulson
new numerics section using type classes
2004-02-19, by paulson
New lemmas about inversion of restricted functions.
2004-02-19, by ballarin
Efficient, graph-based reasoner for linear and partial orders.
2004-02-19, by ballarin
moved list_all2I to List.thy
2004-02-19, by paulson
removed a reference to the ML structure List.thy
2004-02-19, by paulson
new theorem
2004-02-19, by paulson
comments!!
2004-02-19, by paulson
new Union syntax
2004-02-18, by paulson
removed obsolete theorem
2004-02-18, by paulson
Moved application of flexflex_unique from standard' to standard.
2004-02-17, by berghofe
further tweaks to the numeric theories
2004-02-17, by paulson
arith
2004-02-16, by paulson
lemmas about card (set xs)
2004-02-16, by kleing
Polymorphic treatment of binary arithmetic using axclasses
2004-02-15, by paulson
Removed dangling exception handler
2004-02-14, by nipkow
Missing } inserted
2004-02-12, by nipkow
Removed "duplicate fact binding" error message.
2004-02-11, by berghofe
Printing functions now use cond_extrn instead of extrn
2004-02-11, by berghofe
Added flag short_names
2004-02-11, by berghofe
Modified UN and INT xsymbol syntax: made index subscript
2004-02-11, by nipkow
*** empty log message ***
2004-02-11, by nipkow
updated links to the old ftp site
2004-02-10, by paulson
generic of_nat and of_int functions, and generalization of iszero
2004-02-10, by paulson
tidying up, especially the Complex numbers
2004-02-05, by paulson

less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle