Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -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.
 
Thu, 10 Sep 1998 17:50:06 +0200 paulson added proof of final result... changeset | files
Thu, 10 Sep 1998 17:49:36 +0200 paulson tidied changeset | files
Thu, 10 Sep 1998 17:49:14 +0200 paulson Now WO1_WO7 has a .thy file changeset | files
Thu, 10 Sep 1998 17:42:44 +0200 paulson eliminated equals0E changeset | files
Thu, 10 Sep 1998 17:42:02 +0200 paulson fixed PROOF FAILED changeset | files
Thu, 10 Sep 1998 17:40:03 +0200 paulson tidied changeset | files
Thu, 10 Sep 1998 17:38:36 +0200 paulson deleted the bogus equals0E, fixed equals0D changeset | files
Thu, 10 Sep 1998 17:36:42 +0200 paulson eliminated equals0E changeset | files
Thu, 10 Sep 1998 17:34:43 +0200 paulson well-formed asym rules changeset | files
Thu, 10 Sep 1998 17:34:01 +0200 paulson new file AC/WO1_WO7.thy changeset | files
Thu, 10 Sep 1998 17:33:09 +0200 paulson Allows more backtracking in proof reconstruction, making it slower but more changeset | files
Thu, 10 Sep 1998 17:32:07 +0200 paulson a step to help a proof changeset | files
Thu, 10 Sep 1998 17:30:50 +0200 paulson new entries changeset | files
Thu, 10 Sep 1998 17:30:24 +0200 paulson deleted not_Says_to_self changeset | files
Thu, 10 Sep 1998 17:29:56 +0200 paulson well-formed asym rules; misc. tidying changeset | files
Thu, 10 Sep 1998 17:28:36 +0200 paulson in_set_butlast_appendI supersedes in_set_butlast_appendI1,2 changeset | files
Thu, 10 Sep 1998 17:27:50 +0200 paulson tidied, fixing PROOF FAILED changeset | files
Thu, 10 Sep 1998 17:27:15 +0200 paulson tidied changeset | files
Thu, 10 Sep 1998 17:26:53 +0200 paulson tidied, eliminating hard proof changeset | files
Thu, 10 Sep 1998 17:26:16 +0200 paulson well-formed zless_asym; tidied changeset | files
Thu, 10 Sep 1998 17:25:13 +0200 paulson patch to stop failing proof changeset | files
Thu, 10 Sep 1998 17:23:51 +0200 paulson New theorem wf_not_sym and well-formed wf_asym changeset | files
Thu, 10 Sep 1998 17:23:16 +0200 paulson tided the unused rule irrefl_tranclI changeset | files
Thu, 10 Sep 1998 17:20:49 +0200 paulson Changed equals0E back to equals0D and gave it the correct destruct form changeset | files
Thu, 10 Sep 1998 17:17:22 +0200 paulson Adds order_refl, order_less_irrefl as simps, not as Iffs, to avoid PROOF FAILED changeset | files
Thu, 10 Sep 1998 17:15:48 +0200 paulson in_set_butlast_appendI supersedes in_set_butlast_appendI1,2 changeset | files
Wed, 09 Sep 1998 17:34:58 +0200 nipkow Proved and added rewrite rule (@x. x=y) = y to simpset. changeset | files
Wed, 09 Sep 1998 17:25:49 +0200 oheimb reflecting changes to Option.ML, List.{thy|ML}, mainly list_all changeset | files
Wed, 09 Sep 1998 17:23:42 +0200 oheimb AddIffs[not_None_eq]; changeset | files
Wed, 09 Sep 1998 17:21:33 +0200 oheimb AddSDs[override_SomeD]; changeset | files
Wed, 09 Sep 1998 17:19:26 +0200 oheimb changed constants mem and list_all to mere translations changeset | files
Wed, 09 Sep 1998 17:14:19 +0200 oheimb changed order of included theories changeset | files
Wed, 09 Sep 1998 16:43:14 +0200 oheimb added Id_apply changeset | files
Wed, 09 Sep 1998 16:42:45 +0200 oheimb removed superfluous AddIs thms (were already in) changeset | files
Wed, 09 Sep 1998 16:21:08 +0200 oheimb renamed sswhen to sscase changeset | files
Wed, 09 Sep 1998 16:13:35 +0200 oheimb simplified definition of axclass cpo changeset | files
Tue, 08 Sep 1998 17:07:39 +0200 oheimb added caveat; a real solution would be difficult changeset | files
Tue, 08 Sep 1998 17:03:21 +0200 oheimb improved spacing changeset | files
Tue, 08 Sep 1998 16:06:04 +0200 oheimb adapted modifiers: Mod1 -> Mod2, Mod5 -> Mod4 changeset | files
Tue, 08 Sep 1998 15:17:11 +0200 paulson Got rid of not_Says_to_self and most uses of ~= in definitions and theorems changeset | files
Tue, 08 Sep 1998 14:54:21 +0200 paulson Got rid of not_Says_to_self; re-organized proofs changeset | files
Mon, 07 Sep 1998 10:46:48 +0200 paulson new example; tidying changeset | files
Mon, 07 Sep 1998 10:45:45 +0200 paulson new example changeset | files
Mon, 07 Sep 1998 10:43:31 +0200 paulson New UNITY theory, the N-S protocol changeset | files
Mon, 07 Sep 1998 10:40:17 +0200 paulson tidying changeset | files
Fri, 04 Sep 1998 13:24:10 +0200 nipkow Function 'upt' changeset | files
Fri, 04 Sep 1998 11:01:59 +0200 nipkow Arith: less_diff_conv changeset | files
Thu, 03 Sep 1998 16:40:02 +0200 paulson A new approach, using simp_of_act and simp_of_set to activate definitions when changeset | files
Wed, 02 Sep 1998 16:52:06 +0200 nipkow Added function upto to List. changeset | files
Wed, 02 Sep 1998 10:37:13 +0200 paulson modified proofs for new constrains_tac and ensures_tac changeset | files
Wed, 02 Sep 1998 10:36:49 +0200 paulson two new thms changeset | files
Wed, 02 Sep 1998 10:36:22 +0200 paulson Moved constrains_tac from SubstAx to Constrains. changeset | files
Wed, 02 Sep 1998 10:35:11 +0200 paulson small simplification to not_Says_to_self changeset | files
Tue, 01 Sep 1998 15:07:11 +0200 paulson New approach, using a locale changeset | files
Tue, 01 Sep 1998 15:05:59 +0200 paulson tidied changeset | files
Tue, 01 Sep 1998 15:05:36 +0200 paulson Replaced Suc_diff_n by Suc_diff_le changeset | files
Tue, 01 Sep 1998 15:04:59 +0200 paulson new theory Induct/FoldSet changeset | files
Tue, 01 Sep 1998 15:04:28 +0200 paulson New law card_Un_Int. Removed card_insert from simpset changeset | files
Tue, 01 Sep 1998 15:03:43 +0200 paulson tidying; moved diff_less to Arith.ML changeset | files
Tue, 01 Sep 1998 15:03:10 +0200 paulson changed Suc_diff_n to Suc_diff_le, with premise n <= m instead of n < Suc(m) changeset | files
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle