isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Replaced \CHOL by \HOLCF
1996-04-04, by nipkow
updated comments
1996-04-04, by paulson
Moved link to paper.
1996-04-04, by nipkow
Removed 8bit characters used by mistake
1996-04-04, by oheimb
Fixed error in CHANGED (caused by variable renaming)
1996-04-04, by paulson
Using new "Times" infix
1996-04-04, by paulson
For renaming to rtrancl_Un_rtrancl
1996-04-04, by paulson
Added more _iff rewrites for Compl, Un, Int
1996-04-04, by paulson
New example Comb: Church-Rosser for combinators, ported from ZF
1996-04-04, by paulson
*** empty log message ***
1996-04-03, by oheimb
Updated: 01-Mar-96 when functional strictified, copy_def based on when_def
1996-04-03, by oheimb
Introduced Times and SIGMA.
1996-04-03, by nipkow
*** empty log message ***
1996-04-03, by oheimb
Plugged some more loopholes with nodup_Vars.
1996-04-03, by nipkow
Simplified proof of tiling_UnI
1996-03-29, by paulson
Binary integers and their numeric syntax
1996-03-29, by paulson
new lemma for mutilated chess board
1996-03-29, by paulson
Simplified proof of tiling_UnI
1996-03-29, by paulson
Mended indentation
1996-03-29, by paulson
Added functions pr_latex and printgoal_latex which
1996-03-28, by berghofe
Optimized type inference (avoids chains of
1996-03-28, by berghofe
Moved even/odd lemmas from ex/Mutil to Arith
1996-03-28, by paulson
Translations for 1 and 2 moved from Hoare/Examples.thy to Nat.thy
1996-03-28, by paulson
Alternative proof removes dependence upon AC
1996-03-28, by paulson
Ran expandshort
1996-03-28, by paulson
New theorem Finite_imp_succ_cardinal_Diff
1996-03-28, by paulson
New mutilated checkerboard example
1996-03-27, by paulson
Added Mutil to ex targets
1996-03-27, by paulson

less more | (0) -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle