RuleML/Test-Rebase

A fresh repository for testing the rebase workflow