started newcore
imported core code
moved in isabelle emulation
ignore .gen.ML
updating isabelle version
finished new isabelle import
moved
now builds outside isabelle
killed a bunch of warnings
moved source to raw_source to not clobber isabelle built-in
use_thy uses isars lexer
indents
uses Pure straight from isabelle now
added heaps directory
added build heap and run protocol
moved newcore to core