src/HOL/Bali/Bali.thy
2009-09-21 haftmann 2009-09-21 added session theory for Bali