2000-09-26 wenzelm 2000-09-26 www.proofgeneral.org;
2000-09-26 wenzelm 2000-09-26 updated url;
2000-09-26 wenzelm 2000-09-26 tuned;
2000-09-26 paulson 2000-09-26 removed the obsolete (and badly named) inj_select Added new theorems about Compl, image, bij/inj/surj
2000-09-25 wenzelm 2000-09-25 tuned;
2000-09-25 wenzelm 2000-09-25 tuned;
2000-09-25 wenzelm 2000-09-25 tuned;
2000-09-25 wenzelm 2000-09-25 tuned;
2000-09-25 wenzelm 2000-09-25 tuned replacements;
2000-09-25 wenzelm 2000-09-25 tuned auto paths;
2000-09-25 kleing 2000-09-25 untabified for HTML
2000-09-25 wenzelm 2000-09-25 include "Isabelle" link;
2000-09-23 paulson 2000-09-23 tidied, removing obsolete "goal" commands
2000-09-23 paulson 2000-09-23 new theorems and comment
2000-09-23 paulson 2000-09-23 renaming the inverse image operator in HOL
2000-09-23 paulson 2000-09-23 added compatibility relation: AllowedActs, Allowed, ok, OK and changes to "guarantees", etc.
2000-09-22 wenzelm 2000-09-22 tuned comments;
2000-09-22 wenzelm 2000-09-22 AddXIs [equal_intr_rule];
2000-09-22 kleing 2000-09-22 added HTML syntax; added spaces in normal syntax for better documents
2000-09-22 kleing 2000-09-22 added HTML syntax
2000-09-22 kleing 2000-09-22 removed JVM/Store.ML, added theorem Digest in MicroJava
2000-09-22 kleing 2000-09-22 lemma now in Store.thy
2000-09-22 kleing 2000-09-22 converted to Isar, tuned
2000-09-21 kleing 2000-09-21 tuned spacing for document generation
2000-09-21 fleuriot 2000-09-21 *** empty log message ***
2000-09-21 wenzelm 2000-09-21 renamed to Records.thy;
2000-09-21 wenzelm 2000-09-21 improved \isachartilde for non-tt styles;
2000-09-21 wenzelm 2000-09-21 renamed HOL/ex/Points to HOL/ex/Records;
2000-09-21 kleing 2000-09-21 added height="100%" to stretch page to whole browser window
2000-09-21 kleing 2000-09-21 added headline, "quick download", and mailing list archive
2000-09-21 kleing 2000-09-21 added height="100%" to stretch page to whole browser window
2000-09-21 wenzelm 2000-09-21 *** empty log message ***
2000-09-21 kleing 2000-09-21 Digest.thy as toplevel theory
2000-09-21 kleing 2000-09-21 theorem digest of all MicroJava theorems, theories in alphabetical order may also serve as toplevel file that includes all other theories
2000-09-21 fleuriot 2000-09-21 New theories: construction of hypernaturals, nonstandard extensions, and some nonstandard analysis.
2000-09-21 kleing 2000-09-21 tuned, added lightweight BV to abstract, added Bali link
2000-09-21 fleuriot 2000-09-21 Updated Files with new theorems
2000-09-21 kleing 2000-09-21 unsymbolized
2000-09-20 wenzelm 2000-09-20 removed dead code;
2000-09-20 wenzelm 2000-09-20 added "install" target;
2000-09-20 wenzelm 2000-09-20 tuned;
2000-09-20 wenzelm 2000-09-20 tuned rpm command lines;
2000-09-20 wenzelm 2000-09-20 updated;
2000-09-20 wenzelm 2000-09-20 made SML/NJ happy;
2000-09-19 wenzelm 2000-09-19 added common args keywords;
2000-09-19 wenzelm 2000-09-19 tuned args;
2000-09-19 wenzelm 2000-09-19 added iff_add_global', iff_add_local' (syntax "iff?"); tuned;
2000-09-19 wenzelm 2000-09-19 tuned;
2000-09-19 wenzelm 2000-09-19 attribute / modifier 'iff': support "?" mode;
2000-09-19 wenzelm 2000-09-19 tuned msg;
2000-09-19 wenzelm 2000-09-19 updated;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 remove unreadable symbol names from sources;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 added plain "tt" style;
2000-09-18 wenzelm 2000-09-18 *** empty log message ***
2000-09-18 wenzelm 2000-09-18 rpm --force;
2000-09-18 wenzelm 2000-09-18 best-style made default;
2000-09-18 wenzelm 2000-09-18 tuned;