Cabbage with Fennel Seed

1 head cabbage
2 cups beef stock
2 tablespoons fennel seed
2 tablespoons Pernod

Slice cabbage into half-inch wide pieces. Add cabbage, beef stock, fennel seed, and Pernod to a pressure cooker. Stir it. Cook on high pressure for 7 minutes. Release pressure and serve.