Contents

theory Scratch
  imports Main
begin
  value ‹''Hello world!''›
end

Version data entries

10 entries across 7 versions & 1 rubygems

Version	Path
zettacode-0.1.7	files.zettacode/hello_world.text/isabelle.txt
zettacode-0.1.6	files.zettacode/hello_world.text/isabelle.txt
zettacode-0.1.6	files.zettacode2/hello_world.text/isabelle.txt
zettacode-0.1.5	files.zettacode/hello_world.text/isabelle.txt
zettacode-0.1.5	files.zettacode2/hello_world.text/isabelle.txt
zettacode-0.1.4	files.zettacode/hello_world.text/isabelle.txt
zettacode-0.1.4	files.zettacode2/hello_world.text/isabelle.txt
zettacode-0.1.3	files.zettacode/hello_world.text/isabelle.txt
zettacode-0.1.2	files.zettacode/hello_world.text/isabelle.txt
zettacode-0.1.1	zettacode.files/hello_world.text/isabelle.txt