1998-07-24 berghofe Removed ThyData setup.
1998-07-24 berghofe Added theorem ex1_implies_ex.
1998-07-24 berghofe Adapted to new datatype package.
1998-07-24 berghofe Adapted to new datatype package.
1998-07-24 berghofe Removed old datatype package.
1998-07-24 berghofe New theory Datatype. Needed as an ancestor when defining datatypes.
1998-07-24 berghofe Added new function add_typedef_i_no_def which doesn't add
1998-07-24 berghofe Replaced Nat.thy by NatDef.thy because Nat.thy depends on
1998-07-24 berghofe New primrec function definition package
1998-07-24 berghofe New datatype definition package
1998-07-24 nipkow induct_tac -> exhaust_tac in 2 places.
1998-07-22 wenzelm moved long_names / cond_extern to name_space.ML;
1998-07-22 wenzelm tuned;
1998-07-21 wenzelm tuned;
1998-07-21 wenzelm fixed eps/ps find;
1998-07-21 wenzelm fixed CVSROOT;
1998-07-21 wenzelm fixed isabelle logo;
1998-07-21 wenzelm library includes Isabelle version information;
1998-07-21 wenzelm isatool expandshort;
1998-07-21 wenzelm fixed isabelle logo;
1998-07-21 wenzelm SYNC;
1998-07-20 wenzelm added pdfsetup and isabelle logo;
1998-07-20 wenzelm SYNC;
1998-07-20 nipkow Added acc_downwards
1998-07-20 nipkow Added simproc list_eq.
1998-07-18 nipkow Simplified last proof.
1998-07-17 paulson ZF: Main, Update
1998-07-17 paulson added case_tac to be like HOL
1998-07-17 paulson added Main and Update
1998-07-17 paulson as in HOL
1998-07-17 paulson A stronger apply_0, and new thm domain_lam
1998-07-17 paulson added comments
1998-07-17 paulson tidying
1998-07-17 paulson now with Goal cmd
1998-07-16 paulson tidying
1998-07-16 paulson Got rid of obsolete "goal" commands.
1998-07-16 paulson Addition of "Theorem B" of Peter Andrews
1998-07-15 berghofe Fixed bug in transform_rule.
1998-07-15 paulson More tidying and removal of "\!\!... from Goal commands
1998-07-15 paulson More tidying and removal of "\!\!... from Goal commands
1998-07-15 nipkow @ -> $
1998-07-15 nipkow disjoint
1998-07-15 nipkow Minor tidying up.
1998-07-15 paulson Removal of leading "\!\!..." from most Goal commands
1998-07-14 paulson new stac
1998-07-14 paulson CHANGED_GOAL added to declare a more robust stac
1998-07-14 nipkow inj_on
1998-07-14 paulson stac now uses CHANGED_GOAL and correctly fails when it has no useful effect,
1998-07-13 nipkow Corrected dead link.
1998-07-13 paulson Huge tidy-up: removal of leading \!\!
1998-07-13 paulson massive tidying of proofs
1998-07-13 paulson renamed mutex to Acts
1998-07-13 nipkow Replace awkward primrec by recdef.
1998-07-13 nipkow swapped condition in update_apply.
1998-07-12 wenzelm isatool expandshort;
1998-07-10 wenzelm the distribution now includes Isabelle icons: see
1998-07-10 wenzelm added xpm icons;
1998-07-06 nipkow Converted to Auto_tac
1998-07-03 wenzelm several new basic modules made available for general use;
1998-07-03 wenzelm cleaned up;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip