session "KRK" = "HOL" +
  options [document = false,quick_and_dirty]
  theories
	KRKStrategyCorrectness
