Added ProB Kernel milestone 15 version