1 files changed, 0 insertions, 174 deletions
diff --git a/examples/sammie/Sammie.gf b/examples/sammie/Sammie.gf
deleted file mode 100644
index d45473c48..000000000
--- a/examples/sammie/Sammie.gf
+++ /dev/null
@@ -1,174 +0,0 @@
-abstract Sammie = {
-
-flags 
-  startcat = Action ;
-
-cat 
-  Action; 
-  ToIdentify;
-  Object;
-  PlaylistSet; Playlist;
-  ArtistSet; Artist;
-  AlbumSet; Album;
-  SongSet; Song;
-  Number;
-
-  PlaylistName;
-  Genre;
-  ArtistName;
-  AlbumName;
-  SongName;
-
-fun 
-
-  -- Action
-
-  add_song_to_playlist : Playlist -> Object -> Action ;
-
-  -- create a new playlist
-  create : Action ;
-
-  dialog_pause : Action ;
-
-  go_back_in_display_history : Action ;
-
-  help : Action ;
-
-  -- tell me
-  identify : ToIdentify -> Action ;
-
--- what is this?
---  identify_songlist_of_album : Album -> Action ;
-
-  -- gives just an object as a response to a question
-  make_completion : Object -> Action ;
-
-  pause : Action ;
-
-  play : Object -> Action ;
-
-  please_repeat : Action ;
-
-  -- I don't care
-  reject_any_constraint_determination : Action ;
-
-  remove : Playlist -> Object -> Action ;
-
-  resume : Action ;
-
-  -- show me
-  show : ToIdentify -> Action ;
-
-  show_main_menu : Action ;
-
-  skip_backward : Action ;
-
-  skip_forward : Action ;
-
-  stop : Action ;
-
-  -- ToIdentify
-
-  artist_of_album : Album -> ToIdentify ;
-  artist_of_song : Song -> ToIdentify ;
-  currently_playing_object : ToIdentify ;
-  resource_by_type : Object -> ToIdentify ;
-
-  -- Object
-
-  one_song : Song -> Object ;
-  any_song : SongSet -> Object ;
-  all_songs : SongSet -> Object ;
-
-  one_album : Album -> Object ;
-  any_album : AlbumSet -> Object ;
-  all_albums : AlbumSet -> Object ;
-
-  one_playlist : Playlist -> Object ;
-  any_playlist : PlaylistSet -> Object ;
-  all_playlists : PlaylistSet -> Object ;
-
-  -- PlaylistSet
-
-  playlists_all : PlaylistSet ;
-  playlists_by_genre : Genre -> PlaylistSet ;
-
-  -- Playlist
-
-  playlist_this : Playlist ;
-  playlist_number : Number -> Playlist ;  
-  playlist_name : PlaylistName -> Playlist ;
-
-  -- ArtistSet
-
-  artists_all : ArtistSet ;
-
-  -- Artist
-
-  artist_this : Artist ;
-  artist_name : ArtistName -> Artist ;  
-
-  -- AlbumSet
-
-  albums_all : AlbumSet ;
-  albums_by_artist : Artist -> AlbumSet ;
-  albums_by_genre : Genre -> AlbumSet ;
-  albums_by_artist_genre : Artist -> Genre -> AlbumSet ;
-
-  -- Album
-
-  album_this : Album ;
-  album_number : Number -> Album ;
-  album_name : AlbumName -> Album ;
-  album_name_artist : AlbumName -> Artist -> Album ;
-
-  -- SongSet
-
-  songs_all : SongSet ;
-  songs_by_artist : Artist -> SongSet ;
-  songs_by_genre : Genre -> SongSet ;
-  songs_by_album : Album -> SongSet ;
-  songs_by_artist_genre : Artist -> Genre -> SongSet ;
-
-  -- Song
-
-  song_this : Song ;
-  song_name : SongName -> Song ;
-  song_name_artist : SongName -> Artist -> Song ;
-
-  -- Ordinal
-
-  num_1 : Number ;
-  num_2 : Number ;
-  num_3 : Number ;
-
-
-  -- Music database
-
-  -- PlaylistName
-
-  CoolHits : PlaylistName ;
---  Romantik : PlaylistName ;
-
-  -- Artist
-
---  Falco : ArtistName ;
---  TheBeatles : ArtistName ;
-  U2 : ArtistName ;
-
-  -- Genre
-
---  Pop : Genre ;
-  Rock : Genre ;
-
-  -- AlbumName
-  
-  HowToDismantleAnAtomicBomb : AlbumName ;
-
-  -- SongName
-
---  AHardDaysNight : SongName ;
---  LetItBe : SongName ;
-  Vertigo : SongName ;
-
-}