isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

tidied
1998-11-11, by paulson
Big simplification of proofs.
1998-11-11, by paulson
tiny changes;
1998-11-10, by mueller
changed to a link;
1998-11-10, by mueller
local simpset theory data;
1998-11-09, by wenzelm
local claset theory data;
1998-11-09, by wenzelm
Object logic specific operations.
1998-11-09, by wenzelm
Isar setups;
1998-11-09, by wenzelm
added metacuts_tac;
1998-11-09, by wenzelm
removed local_theory;
1998-11-09, by wenzelm
exnMessage Interrupt;
1998-11-09, by wenzelm
added lift_modifier, rule;
1998-11-09, by wenzelm
added Isar;
1998-11-09, by wenzelm
added Isar/;
1998-11-09, by wenzelm
Pure outer syntax.
1998-11-09, by wenzelm
Non-logical toplevel commands.
1998-11-09, by wenzelm
Derived theory operations.
1998-11-09, by wenzelm
The global Isabelle/Isar outer syntax.
1998-11-09, by wenzelm
The Isabelle/Isar toplevel.
1998-11-09, by wenzelm
Histories of proof states, with undo / redo and prev / back.
1998-11-09, by wenzelm
Generic parsers for Isabelle/Isar outer syntax.
1998-11-09, by wenzelm
Outer lexical syntax for Isabelle/Isar.
1998-11-09, by wenzelm
Proof methods.
1998-11-09, by wenzelm
Symbolic theorem attributes.
1998-11-09, by wenzelm
Concrete argument syntax (for attributes, methods etc.).
1998-11-09, by wenzelm
Type-safe interface for proof context data.
1998-11-09, by wenzelm
Proof states and methods.
1998-11-09, by wenzelm
Proof context information.
1998-11-09, by wenzelm
Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
1998-11-09, by wenzelm
Check release name and date in NEWS!
1998-11-09, by wenzelm
smart interrupt handler;
1998-11-09, by wenzelm
option -I: startup Isar interaction mode;
1998-11-09, by wenzelm
isabelle -I;
1998-11-09, by wenzelm
fake interrupt handler;
1998-11-09, by wenzelm
simple interrupt_handler;
1998-11-09, by wenzelm
new Domain/Range rules
1998-11-09, by paulson
new TIMES/Sigma rules
1998-11-09, by paulson
removed obsolete comment and "open" declaration
1998-11-09, by paulson
"Subscribe" link
1998-11-06, by paulson
spell check;
1998-11-06, by wenzelm
tuned;
1998-11-06, by wenzelm
added mailing list, removed mirrors;
1998-11-06, by mueller
Revising the Client proof as suggested by Michel Charpentier. New lemmas
1998-11-06, by paulson
made more generic;
1998-11-05, by mueller
Shortened names and added new thm.
1998-11-05, by nipkow
Some streamlining of text.
1998-11-04, by paulson
tuned;
1998-11-03, by wenzelm
tuned width of pics;
1998-11-03, by wenzelm
tuned;
1998-11-03, by wenzelm
oops;
1998-11-02, by wenzelm
tuned pics;
1998-11-02, by wenzelm
made weblint happy;
1998-11-02, by wenzelm
oops;
1998-11-02, by wenzelm
Id;
1998-11-02, by wenzelm
tuned;
1998-11-02, by wenzelm
tuned;
1998-11-02, by wenzelm
main Isabelle page;
1998-11-02, by wenzelm
New example
1998-11-02, by nipkow
Domain r, Range r replace fst``r, snd``r
1998-11-02, by paulson
increased precedence of unary minus from 80 to 100
1998-11-02, by paulson

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

isabelle