Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. fix Christian Urban's email address
  2. added Regexp_Constructions.thy to Regular-Sets
Changeset 7942:a42562ffa564 by lars hupel _lars.hupel@mytum.de_:
fix Christian Urban's email address
The file was modified metadata/metadata (diff)
Changeset 7941:cef56fe9af12 by eberlm _eberlm@in.tum.de_:
added Regexp_Constructions.thy to Regular-Sets
The file was addedthys/Regular-Sets/Regexp_Constructions.thy
The file was modified metadata/metadata (diff)
The file was modified thys/Regular-Sets/ROOT (diff)
The file was modified thys/Regular-Sets/Regular_Exp.thy (diff)
The file was modified thys/Regular-Sets/Regular_Set.thy (diff)