Activity
Update README.org
Update README.org
switch back to metis proof for stability
switch back to metis proof for stability
fix test case i.induct
fix test case i.induct
add authors
add authors
rw
rw
structure README
structure README
Revert "test if github supports isabelle enc in src blocks"
Revert "test if github supports isabelle enc in src blocks"
test if github supports isabelle enc in src blocks
test if github supports isabelle enc in src blocks
edit README.org
edit README.org
commenting
commenting
cleanup
cleanup
Initial commit
Initial commit