define GEL priority policy

file for gel

definition for gel

file for gel with basic facts

PriorityPoint and comment changes

PriorityPoint and comment changes

GEL rta with integer offset

Added set in proof

modified proof gel_is_total

spell check

spell check

moved defintion of offset and PriorityPoint, modified hep_job for GEL

spelling mistake

Added citation

spell check