isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -3000 -1000 -300 -100 -50 -30 +30 +50 +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

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

isabelle