Move tla2b from experimental to trunk. Added build.gradle.

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9106 7aec93f6-bc54-0410-ac70-7d7c9efa889a
gradle wrapper

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9107 7aec93f6-bc54-0410-ac70-7d7c9efa889a
group and version

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9108 7aec93f6-bc54-0410-ac70-7d7c9efa889a
maven plugin

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9109 7aec93f6-bc54-0410-ac70-7d7c9efa889a
manifest

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9113 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Added tests for functions, sets and quantifier.

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9198 7aec93f6-bc54-0410-ac70-7d7c9efa889a
fixing utf8 warnings

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9199 7aec93f6-bc54-0410-ac70-7d7c9efa889a
implemented INSTANCE statement

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9289 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Fixed file separator bug

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9290 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Create zip

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9294 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Create zip

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9295 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Refactoring

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9358 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Typechecking based on unification, local defintions (LET-statement) without inline substitution, new real world examples

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9848 7aec93f6-bc54-0410-ac70-7d7c9efa889a
delete old tests

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9849 7aec93f6-bc54-0410-ac70-7d7c9efa889a
increment tla source version

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9856 7aec93f6-bc54-0410-ac70-7d7c9efa889a
added readme to use TLA2B as a stand-alone translator

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9860 7aec93f6-bc54-0410-ac70-7d7c9efa889a
rename subfolder of the tla2b.zip

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9861 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Fixed prefix bug: instanced-defintion-call in Spec (Spec == M!Spec)

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9864 7aec93f6-bc54-0410-ac70-7d7c9efa889a
I forgot to add BInit to version control

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9865 7aec93f6-bc54-0410-ac70-7d7c9efa889a
Quick fix.

git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/tla@9866 7aec93f6-bc54-0410-ac70-7d7c9efa889a