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

removed the reference to mesontest2.ML, itself now deleted
1998-11-16, by paulson
moved some facts about Pi from ex/PiSets to Fun.ML
1998-11-16, by paulson
prefixed op;
1998-11-14, by wenzelm
Theory.copy;
1998-11-14, by wenzelm
val copy: theory -> theory;
1998-11-14, by wenzelm
added unless, first;
1998-11-14, by wenzelm
added read_nat;
1998-11-14, by wenzelm
not needed in distribution
1998-11-13, by paulson
needed tidying desperately
1998-11-13, by paulson
qualified the name "restrict" since Fun.restrict exists too
1998-11-13, by paulson
moved Pi and -> (renamed funcset) to Fun.thy
1998-11-13, by paulson
the type of @evalcn was wrong
1998-11-13, by paulson
moved UNION_o to Fun.ML, since Fun.thy is no longer a parent of equalities
1998-11-13, by paulson
no longer loads Fun so that the Fun proofs can use equalities.thy
1998-11-13, by paulson
the function space operator
1998-11-13, by paulson
New section on advanced datatypes.
1998-11-12, by nipkow
*** empty log message ***
1998-11-12, by nipkow
mesontest2.ML was never needed in the distribution
1998-11-12, by paulson
changed inverse syntax from x-| to i(x)
1998-11-12, by paulson
proved surjI
1998-11-11, by paulson
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

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

isabelle