Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Wed, 20 Mar 1996 18:43:08 +0100 paulson Includes deriv.ML and display.ML as dependencies changeset | files
Wed, 20 Mar 1996 18:42:31 +0100 paulson New module for proof objects (deriviations) changeset | files
Wed, 20 Mar 1996 18:40:57 +0100 paulson maketest now closes the output file changeset | files
Wed, 20 Mar 1996 18:39:59 +0100 paulson New module for display/printing operations, taken from drule.ML changeset | files
Wed, 20 Mar 1996 18:36:59 +0100 paulson Describes proof objects and Deriv module changeset | files
Wed, 20 Mar 1996 13:21:12 +0100 clasohm added warning and automatic deactivation of HTML generation if we cannot write changeset | files
Mon, 18 Mar 1996 13:42:35 +0100 paulson New file containing search tacticals changeset | files
Fri, 15 Mar 1996 18:47:05 +0100 paulson Now provides astar versions (thanks to Norbert Voelker) changeset | files
Fri, 15 Mar 1996 18:43:33 +0100 paulson New safe_meson_tac proves some harder theorems changeset | files
Fri, 15 Mar 1996 18:42:36 +0100 paulson New safe_meson_tac uses iterative deepening changeset | files
Fri, 15 Mar 1996 18:41:04 +0100 paulson Sets a lower value of Unify.search_bound changeset | files
Fri, 15 Mar 1996 18:39:08 +0100 paulson Search tacticals moved to search.ML changeset | files
Fri, 15 Mar 1996 18:38:24 +0100 paulson Updated for new file search.ML changeset | files
Fri, 15 Mar 1996 13:34:39 +0100 clasohm updated syntax of datatype declaration changeset | files
Fri, 15 Mar 1996 12:01:19 +0100 berghofe Added some functions which allow redirection of Isabelle's output changeset | files
Thu, 14 Mar 1996 16:40:18 +0100 paulson Functions moved to Pure/search.ML and classical.ML changeset | files
Thu, 14 Mar 1996 12:21:07 +0100 clasohm updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)" changeset | files
Thu, 14 Mar 1996 12:19:49 +0100 clasohm added @SMLdebug=/dev/null to supress GC messages changeset | files
Thu, 14 Mar 1996 10:40:21 +0100 berghofe Added some optimized versions of functions dealing with sets changeset | files
Wed, 13 Mar 1996 11:56:15 +0100 clasohm replaced rules by primrec section changeset | files
Wed, 13 Mar 1996 11:55:25 +0100 clasohm modified primrec so it can be used in MiniML/Type.thy changeset | files
Tue, 12 Mar 1996 14:39:34 +0100 clasohm added constdefs section changeset | files
Tue, 12 Mar 1996 14:38:58 +0100 clasohm removed make_chart changeset | files
Tue, 12 Mar 1996 12:59:56 +0100 regensbu added ' make_html:=false;' to end of ROOT file changeset | files
Mon, 11 Mar 1996 23:59:22 +0100 clasohm added constdefs section changeset | files
Mon, 11 Mar 1996 19:42:55 +0100 nipkow Non-matching congruence rule in rewriter is simply ignored. changeset | files
Mon, 11 Mar 1996 14:19:12 +0100 paulson New theorem: Inter_Un_subset changeset | files
Mon, 11 Mar 1996 14:18:06 +0100 paulson Now catches "by(" too changeset | files
Mon, 11 Mar 1996 14:16:35 +0100 paulson name_thm: now keeps the previous deriviation! changeset | files
Mon, 11 Mar 1996 14:13:36 +0100 paulson Made an exception handler more specific changeset | files
Mon, 11 Mar 1996 14:09:50 +0100 paulson Deleted faulty comment; proved new rule Inter_Un_subset changeset | files
Mon, 11 Mar 1996 14:08:09 +0100 paulson New, one-line proof of inj_Atom changeset | files
Mon, 11 Mar 1996 14:05:45 +0100 paulson deleted obsolete comment changeset | files
Mon, 11 Mar 1996 14:04:37 +0100 paulson set_cs now includes singleton_inject changeset | files
Mon, 11 Mar 1996 14:03:30 +0100 paulson Added formulation of Halting Problem changeset | files
Mon, 11 Mar 1996 11:49:05 +0100 clasohm added constdefs section changeset | files
Fri, 08 Mar 1996 13:11:09 +0100 clasohm added constdefs section changeset | files
Wed, 06 Mar 1996 14:19:39 +0100 clasohm added constdefs section changeset | files
Wed, 06 Mar 1996 14:12:24 +0100 clasohm added constdefs section changeset | files
Wed, 06 Mar 1996 14:11:41 +0100 clasohm added constdefs changeset | files
Wed, 06 Mar 1996 14:10:44 +0100 clasohm moved part of delete_thms into init_thyinfo changeset | files
Wed, 06 Mar 1996 13:57:07 +0100 paulson Ran expandshort changeset | files
Wed, 06 Mar 1996 12:52:11 +0100 paulson Ran expandshort changeset | files
Wed, 06 Mar 1996 12:19:16 +0100 clasohm documented new function 'section' changeset | files
Wed, 06 Mar 1996 10:26:43 +0100 paulson EX_FILES includes new oracle examples, and uses the changeset | files
Wed, 06 Mar 1996 10:14:47 +0100 paulson Now loads IffOracle, the oracles example changeset | files
Wed, 06 Mar 1996 10:05:00 +0100 nipkow Added 'section' commands changeset | files
Tue, 05 Mar 1996 17:37:28 +0100 paulson New documentation for example changeset | files
Tue, 05 Mar 1996 17:29:58 +0100 paulson Changed HOL to ZF in title; added address changeset | files
Tue, 05 Mar 1996 17:23:21 +0100 paulson New documentation for example changeset | files
Tue, 05 Mar 1996 17:22:47 +0100 paulson Corrected URL changeset | files
Tue, 05 Mar 1996 16:50:17 +0100 paulson New documentation for examples changeset | files
Tue, 05 Mar 1996 16:29:01 +0100 paulson Put quotes around URLs in links changeset | files
Tue, 05 Mar 1996 16:27:01 +0100 paulson Put quotes around URLs in links changeset | files
Tue, 05 Mar 1996 15:55:15 +0100 paulson Converted TABs to spaces changeset | files
Tue, 05 Mar 1996 15:52:59 +0100 paulson Addition of oracles changeset | files
Tue, 05 Mar 1996 13:18:58 +0100 clasohm added function "section" for HTML section headings changeset | files
Tue, 05 Mar 1996 11:38:41 +0100 paulson Example of declaring oracles changeset | files
Tue, 05 Mar 1996 11:00:48 +0100 paulson More up-to-date references changeset | files
Tue, 05 Mar 1996 10:58:52 +0100 paulson Fuller and more up-to-date references changeset | files
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle