Tit1e: 
		Modelling Git with Alloy

Authors: 	
		Cláudio Lourenço (pt.smooke@gmail.com), 
		Renato Neves (nevrenato@gmail.com)

Supervisors :	
		José Bernardo Barros,
		Manuel Alcino Cunha,
		Eunsuk Kang

Description :
		This projects aims to model the Git core system with Alloy, trying 
		with it, find properties that Git satisfies or not.

Date :
		29 March 2012