--- theme/theme.inc.orig	2010-07-26 19:49:38.000000000 +0200
+++ theme/theme.inc	2010-07-27 09:59:26.312500000 +0200
@@ -34,41 +34,4 @@ function theme_creativecommons_node_lice
 
   return $node->cc->get_html();
 }
-  
-<?php
-/**
- * Creative Commons module theme functions
- */ 
-
-/**
- * Site license theming
- */ 
-function theme_creativecommons_site_license($cc) {
-  $output = "\n<!--Creative Commons Site License-->\n";
-
-  // HTML output
-  $output .= $cc->get_html(TRUE);
-
-  // Additional text
-  if ($additional_text = variable_get('creativecommons_site_license_additional_text', '')) {
-    $output .= '<br/>'. $additional_text;
-  }
-
-  // RDF output
-  if ($cc->has_license() && variable_get('creativecommons_rdf', TRUE)) {
-    $output .= "\n<!-- ". $cc->get_rdf() ." -->\n";
-  }
-
-  $output .= "<!--/Creative Commons Site License-->\n";
-
-  return $output;
-}
-
-/**
- * Node license theming
- */ 
-function theme_creativecommons_node_license($node) {
-
-  return $node->cc->get_html();
-}