source: fedd/abac-src/rbtm/test/frontier-searches.txt @ b770aa0

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since b770aa0 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 185 bytes
Line 
1EPub.discount
2EOrg.preferred ^ EPub.student
3EOrg.preferred
4IEEE.member
5ACM.member
6EPub.student
7EPub.university.stuId
8EPub.university
9ABU.accredited
10StateU
11StateU.stuId
12Alice
13Brian
Note: See TracBrowser for help on using the repository browser.