# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1361252326 0
# Node ID fb201e383f1bbc1aa89f3b96c1b126e79c212860
# Parent  645ee5189bece0938b3c60bf0cb84ab9b6f96ac2
added Nominal2-Isabelle 2013 Branch