2006-03-13 schirmer entry for Library/AssocList
2006-03-12 berghofe First version of function for defining graph of iteration combinator.
2006-03-11 wenzelm got rid of type Sign.sg;
2006-03-11 wenzelm renamed plus to add;
2006-03-11 wenzelm renamed const minus to subtract;
2006-03-11 wenzelm simplified AxClass interfaces;
2006-03-11 wenzelm added axclass_instance_XXX (from axclass.ML);
2006-03-11 wenzelm *** empty log message ***
2006-03-11 wenzelm added read_class, read/cert_classrel/arity (from axclass.ML);
2006-03-11 wenzelm moved read_class, read/cert_classrel/arity to sign.ML;
2006-03-11 wenzelm use axclass.ML earlier (in Isar/ROOT.ML);
2006-03-11 wenzelm nbe: no_document;
2006-03-10 wenzelm tuned;
2006-03-10 paulson exporting reapAll and killChild
2006-03-10 webertj text delimiter fixed
2006-03-10 webertj comment delimiter fixed
Loading...
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip