This is an old revision of the document!

PlayGround

theory Name imports Main
begin

...

end

$\frac{\Gamma\vdash A\qquad \Gamma\vdash B}{\Gamma\vdash A\wedge B}$

fib :: [Integer]
fib = 1 : scanl (+) 1 fib

Isabelle/HOL Support Wiki