Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 22 May 2001 15:10:06 +0200 Inductive definitions are now introduced earlier in the theory hierarchy.
changeset
berghofe [Tue, 22 May 2001 15:10:06 +0200] rev 11325
Inductive definitions are now introduced earlier in the theory hierarchy.
Tue, 22 May 2001 09:26:57 +0200 nat_diff_split_asm, for the assumptions
changeset
paulson [Tue, 22 May 2001 09:26:57 +0200] rev 11324
nat_diff_split_asm, for the assumptions
Mon, 21 May 2001 14:53:30 +0200 if_splits and split_if_asm
changeset
paulson [Mon, 21 May 2001 14:53:30 +0200] rev 11323
if_splits and split_if_asm
Mon, 21 May 2001 14:53:11 +0200 fixed the X-symbol syntax for lambda
changeset
paulson [Mon, 21 May 2001 14:53:11 +0200] rev 11322
fixed the X-symbol syntax for lambda
Mon, 21 May 2001 14:52:27 +0200 the rest of integer division
changeset
paulson [Mon, 21 May 2001 14:52:27 +0200] rev 11321
the rest of integer division
Mon, 21 May 2001 14:52:04 +0200 X-symbols for set theory
changeset
paulson [Mon, 21 May 2001 14:52:04 +0200] rev 11320
X-symbols for set theory
Mon, 21 May 2001 14:51:46 +0200 X-symbols for ZF
changeset
paulson [Mon, 21 May 2001 14:51:46 +0200] rev 11319
X-symbols for ZF
Mon, 21 May 2001 14:46:30 +0200 X-symbols for ZF
changeset
paulson [Mon, 21 May 2001 14:46:30 +0200] rev 11318
X-symbols for ZF
Mon, 21 May 2001 14:45:52 +0200 X-symbols for set theory
changeset
paulson [Mon, 21 May 2001 14:45:52 +0200] rev 11317
X-symbols for set theory
Mon, 21 May 2001 14:36:24 +0200 X-symbols for set theory
changeset
paulson [Mon, 21 May 2001 14:36:24 +0200] rev 11316
X-symbols for set theory
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle