Mercurial
testboard
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
branches
|
files
|
gz
2009-06-25 ago
wenzelm
renamed IsabelleProcess to Isabelle_Process;
changeset
|
files
2009-06-25 ago
wenzelm
renamed IsabelleSystem to Isabelle_System;
changeset
|
files
2009-06-24 ago
wenzelm
standard naming conventions for session and theories;
changeset
|
files
2009-06-24 ago
wenzelm
renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
changeset
|
files
2009-06-24 ago
wenzelm
proper ML interface set_full_types;
changeset
|
files
2009-06-24 ago
nipkow
Replaced Suc_remove by Suc_eq_plus1
changeset
|
files
2009-06-24 ago
nipkow
New ATP option: full types
changeset
|
files
2009-06-24 ago
nipkow
corrected and unified thm names
changeset
|
files
2009-06-23 ago
haftmann
merged
changeset
|
files
2009-06-23 ago
haftmann
merged
changeset
|
files
2009-06-23 ago
haftmann
Datatype.get_all
changeset
|
files
2009-06-23 ago
haftmann
corrected handling of free variables in arguments
changeset
|
files
2009-06-23 ago
haftmann
tuned proof
changeset
|
files
2009-06-23 ago
haftmann
tuned interfaces of datatype module
changeset
|
files
2009-06-23 ago
haftmann
add_datatypes does not yield particular rules any longer
changeset
|
files
2009-06-23 ago
haftmann
merged
changeset
|
files
2009-06-23 ago
haftmann
add_datatype interface yields type names and less rules
changeset
|
files
2009-06-23 ago
wenzelm
non-public representation;
changeset
|
files
2009-06-23 ago
wenzelm
fixed abbrev !! for \<And>;
changeset
|
files
2009-06-23 ago
wenzelm
merged
changeset
|
files
2009-06-23 ago
haftmann
merged
changeset
|
files
2009-06-23 ago
haftmann
simplified proof
changeset
|
files
2009-06-23 ago
haftmann
uniformly capitialized names for subdirectories
changeset
|
files
2009-06-23 ago
haftmann
renamed ioa to automaton
changeset
|
files
2009-06-23 ago
haftmann
renamed ioa to automaton
changeset
|
files
2009-06-23 ago
haftmann
dropped duplicated lemmas, tuned header
changeset
|
files
2009-06-23 ago
haftmann
NewNumberTheory depends on Algebra
changeset
|
files
2009-06-23 ago
haftmann
merged
changeset
|
files
2009-06-23 ago
haftmann
lemma funcset_id by Jeremy Avigad
changeset
|
files
2009-06-23 ago
haftmann
lemma finite_image_set by Jeremy Avigad
changeset
|
files
2009-06-23 ago
nipkow
merged
changeset
|
files
2009-06-23 ago
nipkow
new lemmas
changeset
|
files
2009-06-23 ago
wenzelm
tuned input: require longer symbol prefix;
changeset
|
files
2009-06-23 ago
wenzelm
moved string utilities to completion.scala;
changeset
|
files
2009-06-23 ago
wenzelm
Completion of symbols and keywords.
changeset
|
files
2009-06-23 ago
wenzelm
more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++;
changeset
|
files
2009-06-23 ago
chaieb
Added Library/Fraction_Field.thy: The fraction field of any integral
changeset
|
files
2009-06-23 ago
nipkow
merged
changeset
|
files
2009-06-23 ago
nipkow
fixed name
changeset
|
files
2009-06-22 ago
wenzelm
observe standard theory naming conventions;
changeset
|
files
2009-06-22 ago
wenzelm
end_timing: checked divisions with sane defaults;
changeset
|
files
2009-06-22 ago
wenzelm
eval: tuned input buffer and get_offset (which ran very hot, up to the point where AFP/FlyspeckTame would seemingly take forever);
changeset
|
files
2009-06-22 ago
nipkow
merged
changeset
|
files
2009-06-22 ago
nipkow
tuned FuncSet
changeset
|
files
2009-06-22 ago
wenzelm
Lexicon: removed unused max_entry;
changeset
|
files
2009-06-22 ago
immler
use results of relevance-filter to determine additional clauses;
changeset
|
files
2009-06-22 ago
immler
export proof when exporting problemfile
changeset
|
files
2009-06-22 ago
immler
restructured external_prover
changeset
|
files
2009-06-22 ago
immler
corrected comments
changeset
|
files
2009-06-22 ago
haftmann
adapted to number theory switch
changeset
|
files
2009-06-22 ago
haftmann
merged
changeset
|
files
2009-06-21 ago
haftmann
code equation observes default sort constraints for types
changeset
|
files
2009-06-22 ago
haftmann
merged
changeset
|
files
2009-06-21 ago
haftmann
more precise computation of sort constraints
changeset
|
files
2009-06-21 ago
haftmann
merged
changeset
|
files
2009-06-21 ago
haftmann
merged
changeset
|
files
2009-06-21 ago
haftmann
merged
changeset
|
files
2009-06-21 ago
haftmann
discontinued ancient tradition to suffix certain ML module names with "_package"
changeset
|
files
2009-06-21 ago
haftmann
removed temporariy workarounds
changeset
|
files
2009-06-21 ago
haftmann
discontinued ancient tradition to suffix certain ML module names with "_package"
changeset
|
files